1
Suppose u = -88*h + 84*h + 101, 2*u = -h + 13. Is 651/25 < h?
True
Let b = -0.05 + 0.45. Let a be (-2816)/462 + (-2)/(-21). Let t be a/42*2 - 0. Is b less than or equal to t?
False
Let j be 530/(-40) - -9 - 1/(-4). Let n = 497 - 542. Which is bigger: j or n?
j
Let m = -3177.94 + 3178. Is m bigger than -466?
True
Let m = 3823 + -3605. Which is bigger: 220 or m?
220
Suppose q = -2*h + 4*h + 25, 5*h + 55 = q. Suppose -6*i - 6 = -156. Let a be (-129)/15 + (-10)/i. Which is greater: a or h?
a
Suppose -6*l + 5964 - 1164 = 0. Let d be (l/125)/((-7)/(-5)). Are 5 and d non-equal?
True
Let l = -80.6 - -93. Let q = 10.7 - l. Which is smaller: q or -2?
-2
Suppose -3*t + 660 = 3*z, -2*t - 640 = -3*z - 0*t. Let f(a) = -2*a**2 + 35*a + 3719. Let g be f(-34). Which is smaller: z or g?
z
Let c(v) = -9*v**2 - 618*v - 58. Let s be c(-69). Is 1/7 less than s?
False
Suppose j = -3*t + 70, j + 2*t = 4*t + 95. Suppose -5*z = y + j, 5*y = -6*z + 2*z - 47. Let a be -3 + -18 + (-2)/(-2). Which is smaller: a or z?
a
Let z be 5*(21 + -9 - (2 - 5)). Is z not equal to 22?
True
Let v = -3573 - -3804. Do 227 and v have different values?
True
Suppose 2*k - 8*k - 2039 = 79. Is -354 greater than k?
False
Suppose 2*x = -5*i + 10162 + 14176, -2*i + 4*x = -9740. Which is smaller: 4870 or i?
i
Let f(o) = -20*o + 23. Let q be f(-7). Suppose -q = 5*g - 413. Does g = 50?
True
Let m be (6 + (0 - 6))/1. Let r = 61023/29 + -2104. Is r >= m?
True
Let j = 15.444 + -15.414. Which is smaller: 881 or j?
j
Suppose -4*o - 289 = 19. Let d = -118310/1509 + 35/503. Is o smaller than d?
False
Suppose -40 = h - 16. Let u be 10/h - (-6)/9. Let c = 33.3 + -33. Which is smaller: c or u?
u
Let b = -14504 - -12394. Is -2110 greater than or equal to b?
True
Suppose 0*p = 4*p - 3*g - 5, 0 = -4*p + 4*g + 4. Suppose -3*h + x - 87 = -p*x, 0 = -x - 2. Are h and -32 non-equal?
True
Suppose 7*b + 50 = 5*v + 10*b, 21 = 2*v + b. Suppose -20 = d + 4*a, v*d = 8*d - 5*a - 100. Which is greater: d or -21?
d
Let s be ((6/2)/12)/1. Suppose -2*v = 2*v. Suppose v = -20*o + 16*o. Which is bigger: o or s?
s
Let u = -129 - -134. Let t be -1 + u/7 - 9168/(-336). Which is greater: t or 26?
t
Let x(b) = b**2 + 9. Let s be x(4). Let y = -46 + s. Let f be ((-1)/y)/((-1)/(-6)). Is 0.7 smaller than f?
False
Let t be -2 + -4 + (-11 - -777). Let w = -416 + t. Do w and 344 have the same value?
True
Suppose -h + 4*v = -4, -h + 2 = 5*v - 2. Let x be -6 + h + (-21)/(-13). Which is bigger: 0 or x?
0
Let f(j) = 14*j - 27. Let s be f(3). Let o be s/6 + (-401)/160. Which is smaller: -1 or o?
-1
Let r(w) = -w**3 - 12*w**2 - 11*w + 6. Let d = -15 - -4. Let t be r(d). Let o(b) = -b**2 + 21*b - 104. Let q be o(12). Which is smaller: t or q?
q
Let t = 18349.3 + -18350. Which is smaller: t or 1.374?
t
Let w be -19 + 14 - (-412)/92. Which is bigger: w or -2/19?
-2/19
Let z be (1 - 0)/(-1*7). Let x = -53112 - -53111. Which is bigger: z or x?
z
Let k = 1854 + -2285.2. Let z = k - -431. Which is greater: z or 2?
2
Let c = 123 - 121. Which is bigger: c or -88?
c
Suppose -6*j + 1817 + 373 = 0. Suppose 0 = -n + 5*b - 73, -n = -6*n + 3*b - j. Do n and -73 have different values?
False
Let y = 1767 + -1767. Is y greater than or equal to 16/809?
False
Let o = -8999 - -8998. Which is bigger: o or -1/7346?
-1/7346
Let v = 2752 - 2753. Is 1/4456 at most v?
False
Let n be 2/(-5)*(-11 + 13 - 6 - -219). Which is smaller: -63 or n?
n
Let u be (1 + -5)*1/522. Let g = -23.21 - -24.21. Are g and u non-equal?
True
Suppose 4*o - 5*i + 8*i = -1325, -3*o - 996 = 3*i. Which is smaller: -335 or o?
-335
Suppose 0*y + y + 14 = 4*j, 5*j - 5 = -5*y. Suppose j*d + 0*d - 5*d = 0. Is -2/381 < d?
True
Let o be -2*3/177*4. Let v = 2249 - 2249. Which is bigger: v or o?
v
Let b = 24523/10 - 2454. Is -1 greater than or equal to b?
True
Suppose -g + 13 + 0 = 4*s, 21 = 3*s + 3*g. Suppose 2*v = -s*v + 16. Let x be (-4)/42*(v - 11). Is 22 greater than x?
True
Suppose 410*s - 359*s + 1683 = 0. Is -18 equal to s?
False
Let c(l) = 5*l**2 - 10*l - 20. Let p(i) = -i**2 + 4*i + 9. Let m be p(0). Let t be c(m). Which is smaller: t or 0.1?
0.1
Suppose q = -125 - 310. Let r be (1302/q - -3)*10/33. Is 0 equal to r?
False
Let a = -658 + 1097. Let i = a + -440. Which is greater: -1.77 or i?
i
Let y = 1019/74 - 10/37. Let w be ((-84)/(-20))/(-24*(-5)/400). Is y at least as big as w?
False
Let o be 1 + (625/290 - (-2 - 24/(-4))). Is -2 greater than o?
False
Suppose 2*r = -2*n - 0*r, 4*r = -16. Suppose -350 = 6*j + n*j. Let p = -1 - 35. Which is greater: p or j?
j
Let b be 26/26 - (-362)/(-110). Let y = b + 11222/385. Is 27 smaller than y?
False
Let x(b) = 43*b**2 + 70*b + 71. Let v be x(-1). Which is bigger: 148 or v?
148
Let r be 0/(7/(14/4)). Suppose r = 20*f - 6*f - 140. Let k be (100/13625)/((-4)/f). Is -2/7 less than k?
True
Let p = -254 + 260. Let t(s) = -s**3 + 3*s**2 + 17*s + 3. Let r be t(p). Is r at most 55?
True
Let c = 25.3 + -312. Let w = 292 + c. Which is greater: 2 or w?
w
Let q = 3/43478 - 323998089/478258. Let p = -4337075/6402 - q. Which is smaller: p or 0?
p
Let k be 181436/(-3312)*(-24)/(-8). Let g = -493/3 - k. Which is bigger: -1 or g?
g
Let z = 21.9 - 21. Let s = -1662 - -1661.9. Which is bigger: s or z?
z
Let z = -3121 + 12431/4. Which is smaller: -13 or z?
z
Let o(b) = -40*b - 458. Let n be o(-6). Which is smaller: n or -229?
-229
Let k(c) = -c**3 - 6*c**2 - 14*c - 10. Let g be k(-5). Suppose 36 = -g*f + 39*f. Is -1 > f?
False
Let g = -12125 + 11948.02. Let p = -177 - g. Is 1/2 < p?
False
Let m be -1*(-13)/(-4) + (-39)/52. Let z be 38/6 - 2/(-3). Is z greater than m?
True
Let u(b) = 11*b - 61. Let p(a) = 6*a - 32. Let s(m) = -5*p(m) + 3*u(m). Let f be s(8). Let g be 6/255*5/10. Is g <= f?
True
Let x be 4/3 - (-701)/3*1. Suppose 4*q = u + x, -4*q + 2*u + 255 = 5*u. Which is greater: q or 121/2?
121/2
Suppose -2*y - 344 = -4*a + 6*a, -4*y = 3*a + 512. Let i be (-330)/a + (-2)/(-16). Which is smaller: -5 or i?
-5
Suppose -1071 = 333*d - 316*d. Let r be (305/10*-4)/(-2 - -4). Which is smaller: r or d?
d
Let z be (4/5)/(4 - 796/200). Let a be -2*30*30/z. Suppose -3*l - 59 = 79. Which is smaller: l or a?
l
Let h(g) = -g**3 + 18*g**2 + 9*g - 38. Let r be h(17). Let w = r + -275. Are 131 and w nonequal?
True
Let p be (-7)/(-6 - 1) + (-9)/10. Let v = -131 - -132. Which is smaller: v or p?
p
Let x = 15107/79 + -191. Let f be (14 - 31) + -17 + 34. Which is smaller: x or f?
f
Let h(t) = t**3 - t**2 - 8*t + 2. Let q be h(5). Let c be ((-7)/(420/456))/(q/10). Is c bigger than -1?
False
Suppose 4*z + 4*k = 9 - 29, 0 = -2*z + 2*k - 22. Let h be (-12)/z*(-748)/(-3). Let u be 1*-3*h/(-51). Is u != 2/5?
True
Let p = 8 - 1. Let r(n) = 6*n**2 - 5*n - 8. Let x(v) = -4*v**2 + 4*v + 6. Let k(f) = 5*r(f) + 7*x(f). Let t be k(-2). Which is greater: t or p?
p
Suppose -3*v = 27*v - 600. Let o be 8/(-690)*-3*(-30)/v. Which is smaller: -1 or o?
-1
Let g be (5 - -1 - 88/(-80)*-5)*2. Is g less than or equal to 3/6977?
False
Let o be 11 - (10 - 180/192). Let m = 96 + -94. Is o equal to m?
False
Let s = 45/4 - 11. Let y = 3216 + -3133. Is y < s?
False
Let b(l) = 106*l**3 + l**2 - 5*l - 5. Let p be b(-1). Let i = -104 - p. Are 4/3 and i equal?
False
Let b = 581/9 - 63. Let f be (6*9/(-108))/(14/(-28)). Are b and f unequal?
True
Let g(d) = -d**3 - 2*d**2 - 4. Let v be g(-3). Let w = -70 - -75. Suppose -w*h - 5*c + 15 = 0, h - 6*h = 2*c - 15. Is h at most as big as v?
True
Let q(v) = 65*v + 22. Let k be q(-2). Let p be k/126*(-2)/(-6). Is -0.04 at least p?
True
Let b = 0.3469 - 0.3329. Is 0.06 smaller than b?
False
Let s = -7.095 - -8256.095. Which is bigger: s or 2/3?
s
Suppose 5 = 6*o - 1. Let d be ((-736)/(-147) - 0) + 2575/(-515). Is d greater than or equal to o?
False
Let o(d) = d + 10. Let n be o(-23). Let i = n + 10. Suppose 3 + 18 = -3*f. Which is bigger: i or f?
i
Suppose 0 = 3*z - w - 363, -5*w + 89 = -81*z + 82*z. Are z and 125 unequal?
True
Let q = 7948 + -7953. Which is greater: q or -0.715?
-0.715
Suppose 3*k - 589 = -4*y, 3*k = -5*y - 1558 + 2145. Which is smaller: 27 or k?
27
Suppose -4*z - 24 = 2*v, -3*z + 20 = -v - z. Let c be v/(-24)*(-422)/8. Let j = c + 36. Is 0 less than or equal to j?
True
Suppose 32 = -5*h - 8. Let k be h/(-32)*8/18. Is k smaller than -39?
False
Let o = -0.79 + -43.21