 Are 3 and z equal?
False
Let w = 2181 - 2219. Do 79 and w have different values?
True
Let j be 569676/(-3426408) + 1 + (-10)/12. Which is bigger: 0 or j?
j
Suppose 898 = 23*y + 6*y - 1683. Which is bigger: y or 91?
91
Let g be (-1 + -1)/(2 + -1). Let d be 11*(1 + g)*1. Let w = 427 + -440. Are d and w nonequal?
True
Suppose -189*t + 184*t = -1395. Suppose 15*l + t = -306. Which is smaller: -36 or l?
l
Let g(y) = 3*y + 27. Let m be g(-8). Let p(t) = 5 + 8*t - 7*t - 2*t**2 - 13*t. Let d be p(-6). Which is bigger: m or d?
d
Let m = 65 - 49. Suppose 44 = -10*s - m. Let n = s - 24. Which is smaller: 1 or n?
n
Let b = 435 + -71. Suppose -b = -5*u + 33*u. Is u less than -0.3?
True
Let f = -718 - -742.1. Let h = -0.44 - 23.56. Let t = f + h. Is -50 >= t?
False
Let w = 4775 + -4775.1. Is w < -530?
False
Let w be 136/(-289510)*45/18. Which is smaller: w or -1?
-1
Let f = 7487/26 - 288. Let x = f + 57/130. Let a be 2/(-12) + (-7)/(-21). Which is smaller: a or x?
a
Let h be ((-132)/(-7))/(-6) - 1*-3. Suppose 0 = 4*b - z - 10 + 4, 4*b + 3*z = 14. Which is greater: h or b?
b
Let h = 7894278/163 + -48431. Which is smaller: 1 or h?
h
Let n = -2308 - -2088. Do n and -441/2 have the same value?
False
Suppose 2*r + 1114 = -4*j + 3*r, 3*r = -6. Is -281 bigger than j?
False
Suppose 18 = 10*o - 7*o. Let t = o + 18. Suppose -265 = t*c - 19*c. Is c <= -53?
True
Suppose 25 = -4*m + 29. Let b = 2215/2504 - 3/313. Is b not equal to m?
True
Let s be ((2 - 2) + 1)/((-747)/(-1494)). Are s and 142/257 equal?
False
Let n = -139/28 - -9367/364. Do 5 and n have the same value?
False
Let b = 14465 + -6085. Are b and 8381 equal?
False
Suppose 528 = -5*x - 4*p, -4*x - p + 15 - 444 = 0. Let w be ((-4)/22)/((x/30)/(-9)). Let i be 12/(-10) - (-1)/5. Is i greater than or equal to w?
False
Let d = 97 - 65. Let p be (16 - 21)/((-3)/18). Which is smaller: p or d?
p
Let v = 5211 - 5210.1. Let n = 0.02 - -0.98. Which is greater: n or v?
n
Let u = -144985/7 + 20712. Suppose -4*f - 14 = 2*r, 0 = 3*r - 5*r - 5*f - 11. Let y = 67/5 + r. Which is smaller: u or y?
u
Let y = -72645 + 72644.9. Let g = -39/4 + 53/4. Which is smaller: y or g?
y
Suppose 3*r = -o + 5, 6 = 13*o - 11*o + 2*r. Let a = -6103/8 - -764. Let w = -51/88 + a. Is w <= o?
True
Let g = 1025174/3 + -346066. Is -4341 smaller than g?
False
Let q = -146030778826262277/214784337635 + 1/6136695361. Let j = 679846 + q. Let r = -334/7 - j. Is r greater than or equal to 0?
True
Let c = -9015 - -9016. Which is smaller: -3539 or c?
-3539
Let s = 268 - 286. Let a be 9*-1*24/s. Is a < 5?
False
Let w = 8392 - 1082576/129. Let n = -2483/516 - w. Let u = -36/371 - 10/53. Is u not equal to n?
True
Let h be -13161*(9 - (3 - (-5 - 0))). Which is greater: -13163 or h?
h
Suppose 0 = k + 5*u + 164, 0 = 5*k - 0*k + 3*u + 754. Let d be (-415 + -11 + -21)*1/3. Is d > k?
False
Let x = -465.165 + 1.165. Which is smaller: x or 2/3?
x
Let a = -103 + 101. Let h = -8.7 - 34.3. Which is smaller: a or h?
h
Let u = 4.69 - -22.99. Let p = u + 0.32. Let t = 28 - p. Which is smaller: t or 3?
t
Let f(s) = s**2 - 17*s + 150. Let w be f(15). Which is greater: 1327/11 or w?
1327/11
Let c = -12 + 16. Suppose 3*w + c = -w, 4*w + 5 = -k. Let h be (-1)/1 - (-2)/16. Which is greater: k or h?
h
Suppose 3*g - 10 = -a - 4*a, 4*a - 4*g = -24. Let v be 4 - (20/(-56) - -4). Are v and a non-equal?
True
Let v be (-2)/(-6)*(-1)/(1/(-3)). Suppose 11 = -5*n - 2*r, 0 = -4*n + r - 2 + v. Let k = 39708/55 + -722. Is k less than n?
False
Suppose -n + 16 = -407. Let i = 3246 - 2823. Is i equal to n?
True
Let q be (28 + 0)/(44/(-10)). Suppose 0 = 2*x + 4*s, -4*x + 0*x + s = 27. Which is bigger: q or x?
x
Let m = 445 + -478. Let a be 292/(-6) - (-4)/6. Let l be (m/44)/((-2)/a). Which is smaller: -19 or l?
-19
Let x = 22.37 + -33.49. Is 1 at most as big as x?
False
Let f = 2210 + -2536. Is 0.1 less than or equal to f?
False
Suppose -4*r + 512 = -19*r + 3932. Which is smaller: r or -2/3?
-2/3
Suppose 3*v = -3*z + 12 - 228, -2*z = 5*v + 351. Let n = 111 - 181. Is n bigger than v?
False
Suppose -5*h - 5*f + 9478 = 1758, 4*h = 5*f + 6149. Is h > 1542?
False
Let c = -39 + -35. Suppose 256*k - 269*k + 13 = 0. Let s be 90/(-300)*k*(-4)/(-3). Is s < c?
False
Let i be ((-7)/(-2))/(((-62)/1136)/((-23)/92)). Does i = 17?
False
Suppose 9*s - 11*s - i + 1 = 0, 0 = -s - 5*i + 14. Which is bigger: -94 or s?
s
Suppose 58*a - 56*a = -662. Let t = -307 - a. Are 23 and t equal?
False
Let j be (-27)/189 + (0 - 24/28). Let u be 12/4*(-5)/(-270). Which is bigger: j or u?
u
Let h = 175649/860 + -817/4. Which is smaller: h or -1?
-1
Suppose -2*h - 122 = 4*n, n + 3*n = 3*h + 233. Let b = -86 - h. Let o = -15 - b. Do -6/17 and o have the same value?
False
Suppose -8*r + 3*h = -7*r + 13, 2*r - 2*h = -6. Let d = 88.6 + -80. Let b = d - 9. Is r > b?
True
Suppose 0 = -302*t + 322*t + 20. Which is bigger: 13/415 or t?
13/415
Let p be ((-11085)/(-10))/((-9)/24). Let d = p - -14699/5. Let l(x) = -x**2 - 22*x - 16. Let m be l(-22). Which is greater: d or m?
m
Let w be (26/17)/((-10)/281355) + 3. Let j = w - -43627. Let v = -599 + j. Which is greater: v or -1?
v
Let t be (-1 + 3/2)*0. Let z = -22449/2 - -202061/18. Is t at least as big as z?
False
Let w = 2.95 + 0.05. Let v = -751/6 + -133/2. Let k = -190 - v. Is w at least k?
True
Suppose 2*o + 836 = 3*d + 187, 214 = d - 3*o. Which is smaller: d or -1?
-1
Let p = 43.1 + -41. Let j = -5 + p. Is j > -0.2?
False
Let w = 154 - 154. Let u be 5/(-2)*((1 - 3) + w). Let z = -1 + 7. Which is bigger: u or z?
z
Let u be (-248)/1860 - 3766/(-30270). Is u at least -1?
True
Let s = -18.2 - -16. Let z = s + -7.8. Is z smaller than 0.8?
True
Let g(h) = -2*h**3 + 103*h**2 - 59*h + 454. Let s be g(51). Which is bigger: s or -13?
s
Let k(v) = -v**2 + 452*v + 2747. Let y be k(-6). Are -8/10459 and y nonequal?
True
Let r = -7 + 10. Let g(j) = j**2 + 7*j - 68. Let q be g(-12). Let k be (q/(-12))/((-28)/(-12)). Which is bigger: k or r?
r
Let i = 10828 - 208146646/19223. Is i smaller than -1?
False
Suppose 5*v = -5, -4*d + 5*v - 1037 = 474. Let l = 348 + d. Which is bigger: 2 or l?
2
Let g be (-1)/(-3) + (-15436)/(-51). Suppose 309*t + 36 = g*t. Which is greater: t or 3?
3
Let z = 125 + -43. Let d = z + -84. Is d greater than -9.8?
True
Let o be 3 + ((-9)/6)/((-72)/(-104)). Let q(p) = -p**2 + 16*p + 17. Let c be q(17). Which is bigger: o or c?
o
Suppose -2*i - 3*i = 215. Let r = -37 - i. Let y be (-6 + r)/((-2)/2). Which is greater: y or -10?
y
Let r be (18/50)/(3*3/6). Let c be ((-2)/3)/((-32)/(-6) + -6). Let z be -5 - -2 - (c + -4). Is r less than z?
False
Let x = 212 - 212.0293. Let b = 114.9707 - x. Is 0.1 > b?
False
Let d = -30.62 - 4.38. Let y = 49 - 52. Is d != y?
True
Let n = 1/965 - -169827/12545. Which is smaller: n or 14?
n
Suppose 0 = -3*n + 190 + 491. Let u = n + -213. Which is greater: 13 or u?
u
Let p = -24681 + 1110703/45. Which is smaller: p or 2?
p
Let z be (7/(2387/31))/((-1)/(-91)). Suppose -6*t + 2*t = -k - 25, -4*t = k - 31. Which is bigger: z or t?
z
Let z be 9/(252/8) + 5015/(-26250). Let g = -2/375 - z. Is g greater than 51?
False
Let f(k) = 3*k**2 + 90*k + 2. Suppose 65 = -2*d - 5*y, 2*d + 3*y + 123 = -2*d. Let n be f(d). Which is greater: n or 48/29?
n
Let m = -28077 - -28081. Which is smaller: -312 or m?
-312
Let p be 41 + -1*(3 + 0). Suppose 0 = 6*f - 3*f - 1323. Suppose 262 = 19*v - f. Is p at least v?
True
Suppose 1832*d = 1863*d - 9269. Which is greater: d or 312?
312
Suppose 3*a - 115 = k - 3*k, -2*a - 5*k + 62 = 0. Let r = -31 + a. Suppose 0 = -p - r - 3. Which is greater: -15 or p?
p
Let z = -169/8370 + 6/155. Let w be ((-6)/(-12))/(1 + 43/(-44)). Let h(o) = o**3 - 22*o**2 - o + 23. Let y be h(w). Is y less than or equal to z?
False
Let r(c) = -86*c + 46. Let j be r(3). Let x = j - -234. Which is smaller: -13 or x?
-13
Let a = 22 - 18. Suppose 4*n + a = -4*p, -4*n + 1 = -p + 5. Let o be (n/(-4 - (1 + -4)))/(-1). Is o bigger than -1/46?
False
Let o(f) = -6*f**3 - 6*f**2 - f + 2. Let l(v) = v**3 + v + 1. Let y be 3/2*(-8)/12. Let u(g) = y*o(g) - 5*l(g). Let t be u(-6). Which is smaller: 18 or t?
t
Suppose 0 = 9*o + 3*o - 3024. Suppose -5*z + 414 = 4*w, -3*w = 4*z - o - 79. Do z and 83 have the same value?
False
Let d = 162 + 288. Let b = d - 399. Which is smalle