: x or d?
x
Let m(j) = 152*j - 9. Let r be m(1). Let h = r - 145. Is -13/10 smaller than h?
False
Let t be ((-2)/(-3))/((-440)/(-450) - (-16)/20). Let u be 4/18*(-36)/(-8). Which is smaller: t or u?
t
Let m(c) = -13*c**2 + 35*c + 202. Let v(t) = -29*t**2 + 70*t + 404. Let k(h) = 9*m(h) - 4*v(h). Let q be k(40). Is 16/25 > q?
False
Let r = 4668.9 - 4669. Is r smaller than -214?
False
Let j = 16817 - 16818. Does -96/571 = j?
False
Let x(c) = -3*c**3 - 22*c**2 + 80*c + 609. Let q be x(-7). Which is smaller: q or 164?
q
Suppose -2*d = -5*v - 32 + 144, 4*v + 5*d = 83. Let r be 1/(-4) - (10 - (-3125)/(-100)). Is v smaller than r?
False
Let f = 1653.2525 + 0.7475. Is -2/5 greater than f?
False
Suppose 0 = 5*s + 15, -60 = 5*k + 4*s + 67. Let j be (k/(-69))/((-2)/(-54)). Suppose 15*r = j - 849. Which is smaller: r or -57?
-57
Let l = 17168 - 12244. Let k = -24716/5 + l. Which is greater: k or 1/4?
1/4
Let a = -4 - -8. Suppose 0 = -5*k - 5 - 15. Let y be 5/35 - (-12)/14 - k. Which is greater: y or a?
y
Let l = -687517/644505 + 3/42967. Let w be 0*(1 + (-4)/2). Is l <= w?
True
Let o be 1*(8 + -7) - 34/14. Let n be 5*-2*(-3)/10. Suppose 3*d + 5*v + n = 0, -6*d + v = -d + 5. Is d equal to o?
False
Let k = 0.08 - 4.08. Let u = -2.41 - -1.11. Let q = 0.3 + u. Which is greater: q or k?
q
Let i(q) = 16*q**2 - 9*q - 570. Let y be i(11). Is 1283 < y?
False
Let q = -4243/7 - -605. Suppose -10*g + 148 = -2. Suppose g*p = p - 28. Do q and p have the same value?
False
Suppose 4*j + 4*b - 505 = j, 4*j = -3*b + 678. Let s = -174 + j. Suppose 0*g = -g - 2. Is s at least as big as g?
False
Let b = -8897 + 8864. Let r = 5 + -4.8. Let m = 0.4 - r. Is m less than b?
False
Suppose 994 = 18*n + 994. Which is smaller: n or -1/1083?
-1/1083
Let g = -4383/1003 + 74/17. Suppose 107*l + 206*l = -81*l - 394. Which is smaller: l or g?
l
Suppose 94*s + 79*s = 182*s. Which is smaller: -2/437 or s?
-2/437
Let z be (-3)/15 - ((-2)/(-10))/(-1). Suppose -5*n + 2*q = 44, z*n + 4*q + 62 = -5*n. Let b = -4/111 - 958/111. Is b at least n?
True
Let g = 145 + -166.7. Let n = -39.7 - g. Which is smaller: 0.2 or n?
n
Let b be (-84)/(-24)*5/70. Which is smaller: b or -0.1929?
-0.1929
Let r be -1 + -7 + -11 + (-4 - -23). Which is greater: r or -1/11224?
r
Suppose -3*y = 4*g - 159, -9 = g - 12. Let v be (-5)/(-9) - (y/21 + -2). Which is bigger: v or 76/7?
76/7
Let k be (108/78)/(-9) + (-24507794)/2626. Let l = k + 9333. Which is smaller: -1 or l?
-1
Let u be -65*((-145)/(-25) + -6). Suppose -45 = 3*y + 3*r, -3*r = -u*y + 14*y + 25. Which is bigger: y or -9?
-9
Let l = -33.69 + 37.1. Let x = 0.29 + l. Let c = 10.7 - x. Is c less than 2/5?
False
Suppose -563 = 5*v - l, -3*v - 12*l + 8*l = 324. Let h = v + 223. Is h less than or equal to 112?
True
Let b be (2/(-2*1))/(-1). Let q = 84 - 137.4. Let d = q - -53.6. Is d <= b?
True
Let m = -168 + 584. Suppose -5*a - 246 - 274 = -4*v, m = -4*a + 5*v. Let z be ((-25)/20)/((-2)/a). Is -66 != z?
True
Let m be 594 - (-2 + 0 - 0). Let d = m + -41126/69. Are 0 and d non-equal?
True
Let n = 126 - 126. Suppose n = -9*v + 373 + 104. Which is bigger: v or 1/2?
v
Let x(n) = -n**2 + 33*n - 19. Let a(b) = -b**2 + 66*b - 39. Let g(p) = -2*a(p) + 5*x(p). Let y be g(10). Which is smaller: y or 16?
y
Let b(o) = o**2 + 21*o + 2409. Let d be b(52). Is d <= 6205?
True
Suppose -3*b = m - 6*m + 105, -2*m = 2*b - 26. Let v be 4/m + ((-2845)/(-9))/(-5). Which is bigger: -62 or v?
-62
Let o = -86 + 87. Let t be o/(63/(-91)) + 6/4. Let v = -0.2 + 1.2. Which is smaller: t or v?
t
Let h = 3 + -2.98. Let f = -41/2629 - 2506/7887. Which is smaller: h or f?
f
Let f(a) = -a**3 - 5*a**2 + 7*a + 6. Let p be f(-6). Let k be (-239)/306*((3 - 4) + 3). Let w = -13/9 - k. Which is greater: w or p?
w
Suppose -2*g - 308 = -6*g. Let n = g - 70. Let r(i) = -i**3 + 5*i**2 + 12*i - 13. Let a be r(n). Is a at least -27?
True
Let w = 3 - 2. Let m = -544 + 42980/79. Is w > m?
True
Suppose 20 - 16 = 2*q. Suppose u - 76 = -w, q*u - 82 = u + 5*w. Let l be (-3)/u*26 - (-32)/112. Do l and -1 have the same value?
False
Let f = 1.77 - 2.66. Let m = -0.46293 + 0.76293. Which is greater: m or f?
m
Let d = -0.0501 - -0.0001. Is 2/351 greater than d?
True
Let s be (9/(-5))/(90/(-2250)). Which is smaller: s or -69?
-69
Suppose r - 4*j + 7*j + 6 = 0, 2*j = -4*r - 64. Let h be (3/(6/29))/((-4)/16). Let g = -76 - h. Is r bigger than g?
False
Let c = 16/7 + -4665/2044. Suppose n + 40 = -r + 46, 2*r = -3*n + 17. Which is smaller: r or c?
c
Let t = -5881 + 5899. Which is smaller: t or -0.58?
-0.58
Suppose 48*j - 4*g - 217 = 43*j, -3*g + 6 = 0. Let t be (1/(-2))/(2/(-180)). Is j at least t?
True
Let p = -8.41 + 51.46. Let y = -1.05 + p. Suppose -5*a - 3*v + 3 = -2*a, -2*v = 0. Is a <= y?
True
Let v = -4.48 + 4. Let c = -0.11 + -0.17. Let f = v - c. Which is smaller: f or 28?
f
Let p(q) = q**2 + 106*q + 2521. Let l be p(-36). Which is bigger: l or 40/333?
l
Let u(b) = 9*b - 39. Let w(v) = 3*v**2 - 3*v. Let x be w(2). Let q be u(x). Which is smaller: q or 100/7?
100/7
Let i be (-31341)/15 - 0 - 3/5. Let d be (-4)/(-30) - i/75. Which is smaller: d or 26?
26
Let y(p) = -4*p - 55. Let o be y(-13). Let a be ((-105)/(-10))/(-7)*1/o. Which is smaller: -120 or a?
-120
Suppose 4*j = -8*s + 11*s + 24, 9*s + 42 = 2*j. Is -144/43 less than s?
False
Let d(z) = -16*z - 113*z**2 - 56 + 112*z**2 + 18. Let p be d(-13). Let q be (-1)/p - 0/(-3). Which is smaller: 4/33 or q?
q
Suppose 66 = -5*u + 206. Suppose 7*h = -u - 35. Let r be (h/((-18)/(-4)))/21. Is r smaller than 0?
True
Let a = -31 + -413. Let f = -448 - a. Which is greater: f or 12?
12
Let p = -2199 + 2260. Which is greater: p or 27?
p
Let l = 0.7 + -0.4. Let o = 40 + -39.957. Let k = o - -8.957. Which is bigger: k or l?
k
Let i = 1587 + -1587.1. Is 374 less than or equal to i?
False
Suppose -11*u = 3*j - 10*u - 2869, -5*j + 4*u + 4793 = 0. Is 957 less than j?
False
Let i be -3 - (-11 + 198/27). Which is smaller: 49.2 or i?
i
Suppose 0 = 8*c + 55 - 391. Let d = c - 65. Suppose 57 = -5*w - 63. Which is greater: d or w?
d
Let a(o) = 893*o - 4821. Let i be a(6). Which is smaller: i or 536?
536
Let x be (0 + 2 - -3)*6. Let w be 62/6*81/(-27). Let l = x + w. Which is bigger: l or 3/8?
3/8
Let m be (-78)/(-13) - (1 - (-1 - 1)). Suppose 131 = m*j - 94. Suppose 3*w + j - 111 = 0. Which is greater: w or 11?
w
Let l = -8370019 - -18640032000/2227. Let h be 9/6*(-4)/262. Let f = l - h. Which is smaller: -1 or f?
-1
Suppose 0 = 6*s - 3*s + 45. Let u(w) = -w**3 + 5*w**2 + 17*w - 17. Let l be u(7). Suppose -l*y = 5*t - t + 44, 0 = 2*y + 5*t + 10. Is y not equal to s?
False
Let d = -4.88 + 1048.88. Do 3 and d have the same value?
False
Suppose -3*y = -r + 31 - 32, -5*r = 3*y + 5. Let t be 1/2*0 + 2. Suppose 12 = 2*w + 2*w + t*b, y = -3*b - 6. Which is smaller: 6 or w?
w
Let f = 16 + -12. Suppose 3*m + 84 = -3*n, -f*m + n = -3*m + 26. Let h be (-804)/m + (-4)/(-18). Which is greater: 29 or h?
h
Let l = 1673/22 + -2685253/35310. Is l less than 0?
True
Let p be (2/1)/(12/24). Suppose 0 = 4*u + p*z + 188, 0*z - 176 = 4*u + z. Which is bigger: -41 or u?
-41
Let x = -3753 - -3794. Suppose 7*f = 3*f + 5*o + 140, -4*o = -f + 24. Which is greater: x or f?
x
Let u = 779 - 779. Which is bigger: 921 or u?
921
Let c = -12136 + 12135. Which is smaller: c or 3/9418?
c
Let a be 60 + -62 - (-4)/(-6)*18/(-4). Which is greater: a or 6/2921?
a
Suppose -2 = -2*u - 0. Let h = 673/75 + 200047/6450. Let k = h - 40. Which is greater: k or u?
u
Let r = -77.37 - -77. Let d be (-2)/(-10) + 738/5535. Which is smaller: r or d?
r
Let s be 138*(122/6 + -16). Are 2994/5 and s non-equal?
True
Let x = 3 - 2.1. Let c = 3.1 + x. Let o(h) = -h**3 - 5*h**2 - 9*h - 18. Let b be o(-4). Is c greater than b?
True
Let y be -20 + 285/19 - -2. Which is smaller: -89/25 or y?
-89/25
Let q = 30148232264/3346777095 + -152252/16035. Let v = -2/5641 - q. Is 0 bigger than v?
False
Let y = -650.77 + 647. Let g = y - -0.17. Let p be (-54)/16524*-51*4. Which is bigger: p or g?
p
Let c be (-16)/(-16) + 1*(3 - 0). Suppose -w + 13 = -c*u, u + w = 5*w + 8. Is u bigger than -2?
False
Let g be (-20)/(-35) + (-20)/(-14). Let p be -3*((-226)/3)/g. Is p < -2?
False
Let a = 0 - -1. Let y = 161.919 + -162. Let g = y + 0.271. Which is smaller: a or g?
g
Let w