equal?
True
Let l = 431.6 + -488.6. Let o = 8 - 10. Let r be o - ((-105)/(-12))/(-5). Are l and r non-equal?
True
Let a be 14 + (-29)/((-2175)/(-1620)). Which is bigger: a or -7?
-7
Let r = -33934 + 33917. Which is smaller: r or -1026/59?
-1026/59
Let c = -36965 - -35672.7. Is c > -2?
False
Let u = 0.63 - -0.04. Which is greater: 85 or u?
85
Let q = 44 - 32. Let c be -3 + ((-9)/42)/(q/32). Which is bigger: -5 or c?
c
Let l = 2116 + -2234. Which is greater: l or -2?
-2
Let i = 424 - 343. Suppose -76*w + i*w - 225 = 0. Let n = -22 - -69. Which is smaller: n or w?
w
Let l = -167 - -132. Suppose 15*z + 199 = -266. Are z and l non-equal?
True
Let g = 182503 - 24090239/132. Let i = g + -14/11. Is 11 at least as big as i?
True
Suppose 823*s - 822*s = -6. Let a(l) = 2*l**2 + 37*l + 226. Let r be a(s). Which is bigger: r or -4?
r
Let z = 28/9 + -437/126. Let d be (3/2)/(9/(-18)). Let n be (2 - 6)/(-12)*d. Which is smaller: z or n?
n
Let p = -3037 + 3036.815. Which is greater: -0.5 or p?
p
Let x(d) = -450*d - 28. Let b be x(-3). Let n = 46266/35 - b. Which is bigger: n or 0?
0
Let i(r) = -3*r + 29 - 17 + 4*r. Let z be i(-16). Let j be -3 - z - (0 + 1)*7. Which is smaller: j or -19/4?
j
Let a be (-384)/3072 + (-377)/(-8) + 1 - -5. Is a bigger than 1/25?
True
Let l = 10591.8 + -10714. Which is smaller: -1 or l?
l
Let c be 94/18 + 13/(234/(-4)). Suppose -5*d - 145 = 2*b, -b - 44 - 21 = -c*d. Is -69 at least b?
True
Let v = 9892 + -9870.1. Is 1 != v?
True
Suppose 0 = 41*c - 42*c + 44. Suppose 47 = -2*t - 43. Let o = c + t. Which is bigger: o or 1/19?
1/19
Let u(a) = 10*a - 10. Let h be u(4). Suppose 0 = -4*x + h*x + 156. Suppose -3*w - d - 25 = 0, 2*d + 13 = -2*w + 5*d. Which is bigger: w or x?
x
Suppose 35*n - 3330 = -2*n. Which is smaller: n or 136?
n
Let a = -183.02408 - -0.02408. Are 4 and a nonequal?
True
Suppose 224*s = -644 + 644. Let n = 0 + 0. Is n greater than s?
False
Let c(u) = 2*u**3 + 9*u**2 - 26*u + 503. Let s be c(-10). Let x(r) = -r**3 + 2*r - 8. Let n be x(7). Is n greater than or equal to s?
True
Let i = -83.2 + -5.8. Let f = -88.9 - i. Let q = 4678/9 + -521. Which is smaller: q or f?
q
Suppose -300 = 5*y + 4*c, -11*y + 178 = -14*y - 2*c. Suppose 4*n = -3*d - 183, -n + 29 = -d - 25. Which is smaller: d or y?
d
Let b = -340 + 344. Suppose 4*a = -2*z + 6*z, 4*a = -b*z + 40. Which is smaller: a or 6?
a
Let s = -241 + 189. Let f be (86/s - 8/(-52)) + 2. Is f != -1/19?
True
Let l = -21601/12432410 - -2/20381. Do 1 and l have different values?
True
Let k be ((-10)/(-3))/((-50)/(-75)). Suppose -16*p - 1384 = -20*p + k*l, 3*p - l = 1027. Which is smaller: p or -1?
-1
Let z be (-340)/602 + 4/14. Let n = 82086572/301 - 272710. Let b = n - z. Is 2 at most b?
True
Let t = -2425 + 3581. Which is greater: t or 1/2?
t
Let y = -892 + 2254. Let c = y - 1360. Let o be (2 + -7 - -1)*-1. Which is smaller: c or o?
c
Suppose 4*f = -4*m + 8, -2*f + 5*m - m + 4 = 0. Let h be 3/(1*(-10 - -11)*1). Which is greater: h or f?
h
Let h be (-10)/(-65)*3 - (-2602362)/(-273). Is h bigger than -9533?
True
Let h be 2535/33 + (-23 - 1275/(-55)). Which is greater: 49 or h?
h
Suppose 232 = -6*j - 62. Let o = j - -72. Let u = o - 297/13. Which is greater: -1 or u?
u
Suppose 0 = -3*x - 3*o + 21, 2*x + 3*o - 13 = 7. Which is greater: 21/47 or x?
x
Let y = -7.546 + 6.846. Which is greater: 0.0066 or y?
0.0066
Let v = 1 - 1.05. Let i = 184 - 123. Let h = i - 60.9. Which is bigger: h or v?
h
Suppose -3*y + 23 = 2*u - 29, 4*u - y = 90. Let k = u - 35. Let c = k - -47/4. Which is smaller: c or -1?
-1
Suppose 0 = -25*k + 3*k + 5742. Suppose -2*i - 3*d + k = i, -4*d + 20 = 0. Which is bigger: i or 84?
84
Let b(m) = -2 - 1 + m - 2. Let p be b(0). Let g be ((-126419)/(-8327) - (-30)/(-2)) + (-4)/22. Which is smaller: g or p?
p
Let k be 6/(60/1022) - 1*5. Let j be 1 + ((-16214)/(-170) - -1). Let s = j - k. Do 0.2 and s have different values?
True
Let c = 518/2839 + -1/167. Let r be 15 - 24 - (-18 - -9). Which is greater: r or c?
c
Let f = -19418 + 504991/26. Let t = f + 10/13. Suppose -323 + 8 = -74*q + 203. Is q equal to t?
False
Let w = 0.38 - 48.38. Let r = -46 - w. Let h = r - 0.2. Which is smaller: 2/7 or h?
2/7
Let x = -433.6 + 443. Let s = 8.4 - x. Is s at most -2/7?
True
Suppose -5*q = -4*i + 120, q + 10 - 14 = 0. Which is greater: 236/7 or i?
i
Suppose -3*m - 7 = -0*m + 5*r, -r + 49 = -5*m. Let p be ((-17)/(9282/(-63)))/(3/(-264)). Which is bigger: p or m?
m
Suppose 158 = -6*s + 56. Let m = 16 + s. Let y be (8/(-12))/(m - 15/(-9)). Does -3/34 = y?
False
Suppose 71*g + 3353 + 78226 = 0. Which is smaller: -1150 or g?
-1150
Let u(d) = d**3 + 19*d**2 - 15*d + 3. Let w be u(-20). Let y = w + 98. Let a = 54 + -76. Do y and a have different values?
True
Let y = 34.3 - 40. Let b = -0.3 + y. Let j = b + 6.2. Which is bigger: 35 or j?
35
Suppose 5*o - 255 = -10*o. Suppose r - 75 + o = 2*z, -76 = 3*z + 4*r. Is z at least -85/3?
True
Let u = 38657 + -38657. Which is bigger: -13124 or u?
u
Suppose 5*w + 20 = 4*p, 0*w + 5 = p - w. Suppose 1410 = p*h - 3*x, -x = -2*x + 5. Suppose -63*c + h = -66*c. Which is smaller: 1 or c?
c
Suppose 5*g - 227 = 4*c - 37, 4 = 2*g. Let u = 10 - c. Which is smaller: u or 52?
52
Let w(z) = -z**3 + 101*z**2 - 573*z + 195. Let i be w(95). Is i not equal to -145?
True
Let g = 3 + 0. Let w be (0 + (-7)/g)*15*-1. Let o = w + -36. Is o at least as big as -2/47?
False
Let f = 4.4 + -4.37. Let g = 0.58 + -102.58. Let i = g - -99. Which is greater: i or f?
f
Let c = -786 + 505. Let r = c + 293. Which is smaller: 23/2 or r?
23/2
Let u(l) = l**3 + l**2 + 96*l - 99. Let c be u(1). Is c > 1204/3?
False
Let r be 8 + 567/(-72) + 299817/(-72). Is -4163 greater than or equal to r?
True
Let j = -175.33 + 0.33. Let w = -175.1 - j. Let b = 845/3179 + 2/289. Which is greater: w or b?
b
Let m be 616/20482 - (-4)/(-38). Let k = 133 + -134. Is k at least as big as m?
False
Let i = 1113.23 - -1.77. Are 2 and i equal?
False
Let b be 20/(-45)*2/6624*-4. Are b and 1 unequal?
True
Let p be 2 - (296/(-5) + (-16)/(-80)). Suppose t = 5*x - p, 63 = 5*x - 2*t - t. Is x > 7?
True
Let j = -48.434 - 0.566. Is j at most -10?
True
Let h(x) = -30*x + 86. Let n be h(16). Let v = n + 369. Which is smaller: v or -28?
-28
Suppose 3*v = -2*v - 60. Let o(g) = g**3 - 23*g**2 + 2*g - 34. Let z be o(23). Let d = z + v. Which is smaller: d or 2/53?
d
Suppose 437*n - 431*n = 0. Suppose -x - 32*x + 660 = n. Which is greater: x or 146/7?
146/7
Let l = -30 + 28. Let d be (-3)/(3 + 3) + l/4. Is 3/10 at most d?
False
Let j = 1894270/631627 - 1252/397. Let s = -4/37 - j. Suppose 4*i + 12 = -5*h - 3, -3*h = 9. Which is bigger: i or s?
s
Let n = 409300439/137385 + -26813/9. Which is smaller: -1 or n?
-1
Suppose 4*s + 0*s = -3*s. Suppose s = 16*d - 23*d + 42. Is 16 less than d?
False
Suppose 11092 = 5*w - 3*h, 0*w - 4436 = -2*w + 2*h. Suppose -8*i + 563 = w. Which is bigger: -0.1 or i?
-0.1
Suppose -4*g + 5 + 3 = 0. Suppose -5 = 5*y - g*w, y + 5*w + 1 = -0*y. Let p be y*(207/(-2))/(-9). Is p < -12?
False
Let y = 291.9 - 283. Let f = 8.8 - y. Is -64 at least as big as f?
False
Let y be (-30)/(-21) + 45/(-105). Suppose 2*l - 45 - y = 0. Is l not equal to 20?
True
Let q be (-18)/(-488)*(-3840)/45. Which is smaller: q or -2?
q
Suppose -4102 - 9623 = 25*v. Which is greater: v or -550?
v
Suppose -27*p + 7718 = 68*p - 1877. Which is greater: p or 199/2?
p
Suppose 0 = 3*b - 7*x + 359, 61*b - 65*b + x - 487 = 0. Suppose -2*w - 121 = -w. Is b <= w?
True
Suppose 0*m = -2*h - 2*m - 18, 37 = -5*h + 3*m. Let a be 2/((-16)/h - (-25)/(-12)). Let g be (5 + 462/a)/((-1)/4). Is g at least as big as 58?
False
Let r be (1 - (-362)/(-14))/(21/(-154)). Let l be (-24)/(-18) + 1124/(-6). Let k = l + r. Does -4 = k?
False
Suppose -2*i + 8*l - 4*l = -90, 5*l - 117 = -2*i. Let n = i + -52. Is n equal to -1/368?
False
Suppose -30 = 3*j - 5*j - 3*w, 4*j = 3*w + 24. Let a be (0 - 9)/j*(-3 - -2). Is a greater than or equal to -9/29?
True
Let z = 0.068 - 0.018. Let q = z + -0.122. Let x = 27.072 + q. Which is bigger: x or 2?
x
Let p = 10.9 + 187.1. Let d = p - 199. Which is bigger: 142 or d?
142
Suppose 5 = -4*s - 35. Let c be 56/(-75) - s/15. Let n = -0.106369 - -0.006369. Which is smaller: c or n?
n
Let l be 36/528*11/(66/20). Do l and 13 have the s