 Is w less than 2/7?
True
Let b = -11989.1 + 11989. Is 70.18 > b?
True
Let z = 5781 + -5830. Which is greater: z or 39?
39
Let m = -169.14 - 2.86. Let f = -172 - m. Which is bigger: 5/7 or f?
5/7
Suppose -40*u + 138 = -42*u. Let y be (u/7)/(260/(-182)). Which is greater: 6 or y?
y
Suppose -1063 + 1119 + 10936 = -8*q. Which is smaller: -1376 or q?
-1376
Let a be 10/(-7) + (-141)/(-329) - -1. Which is bigger: a or -2/1641?
a
Let j = -1416 + 18402/13. Suppose 4*q - 5*z - 4 = -3, 0 = 2*z + 2. Which is smaller: q or j?
q
Let v be 255/(-68)*(-40)/3. Let d = v + -51. Which is smaller: 1/263 or d?
d
Suppose -4*z - 760 = -2*c, 4*c - 412 = 5*z + 1117. Suppose 0 = 5*l - 10*l + 4*s + 965, -c = -2*l + 5*s. Is l > 194?
False
Let r = -1 - 0. Let z = -41.55 - -26.4. Let x = z - -15.1. Is r less than or equal to x?
True
Let h(q) = q**3 - 7*q**2 - 16*q + 17. Let x be h(-4). Is -0.07 <= x?
False
Let p be 1/(-2*954/(-24) - (-7 - 2)). Suppose -3*i + 12 = 2*c, 2*c - c + 2*i - 8 = 0. Suppose c = 4*o - 0*o. Is p < o?
False
Let h(k) = k**2 + 14*k - 13. Let t be h(-15). Let r(u) = u**t - 3 - 2 + 16 - 9 - u**3. Let a be r(-3). Is a less than 38?
False
Let q = 130 + -255. Let t be 128/(-5) - (3 + (-216)/60). Let l be (2/q)/(((-15)/t)/1). Is -1 less than l?
True
Let t = 3000.931 - 3001. Which is bigger: t or -13?
t
Let v = 2972 - 2414. Is v at least 557?
True
Let m = -322 - -313.36. Is 0 <= m?
False
Let h = 1828 - 1828. Which is smaller: h or 2/6261?
h
Let m = -241 + 246. Let p be (-20)/m + (2 - 36/40). Is p smaller than -4?
False
Suppose -26*f - 269 = -25*f. Let d be ((-162)/(-12))/((18 - 9)/(-180)). Which is bigger: d or f?
f
Let k(s) = 2*s**3 + 2*s. Let m be k(0). Is 9/2902 equal to m?
False
Suppose -2*c + 3*g + 0*g + 20 = 0, 3*c = 2*g + 20. Suppose 0 = -4*n - 2*k - 68 + 16, -c*n - 4*k = 44. Suppose 22*m + 1439 - 1131 = 0. Is n < m?
True
Let m be -89 - (-157 - -65) - (1 - -11). Suppose -3*a - 1 = -10. Suppose 22 = -a*r + r. Is r bigger than m?
False
Let d = 0.2 + 2.8. Let q be 196/(-98)*4*2. Is d > q?
True
Suppose -2*m - 5*n = -45, m - 27 - 3 = 5*n. Suppose -4*v - m = -9*v. Suppose -7*r = -v*r + 28. Do -16 and r have the same value?
False
Let y be (12/(-16))/((-177)/48 - -5). Is 1825 bigger than y?
True
Let j = 0.026 - -0.384. Let h = 0.39 - j. Let l = h - -13.02. Which is smaller: 0.1 or l?
0.1
Let d(j) = -j**3 - 2*j**2 - 5*j + 6. Suppose -8*h + 5 = 45. Let n be d(h). Which is greater: 0 or n?
n
Suppose 9*m - 778 = -499. Does m = 73?
False
Let f = -4186 - -4203. Let t = 19 - 10. Suppose -o = -8 - t. Do o and f have different values?
False
Let h be 7/(-63)*-87 + -11. Let m = 0 + 0. Is h greater than or equal to m?
False
Let g be -1*2 + ((-22)/77)/((-272)/1792). Do 2094 and g have the same value?
False
Let x be 19/(95/(-10))*-961. Which is bigger: x or 1923?
1923
Let j = 0 - 1. Suppose -y = -3*a - 722 + 175, 1095 = 2*y - 5*a. Let g be ((-8190)/y + 15)/(2/(-5)). Which is bigger: g or j?
g
Suppose -12*s + 4*s = -448. Let z be (-194)/(-1)*s/1120. Do 9 and z have the same value?
False
Let v be 4/(-6) + 182/273. Which is bigger: v or -3/670?
v
Let u(w) = 126*w - 8059. Let s be u(64). Is 4/191 at least s?
False
Let s = 71203 - 588991217/8272. Is 1 < s?
False
Let j(v) = -v**3 + 4*v**2 - 2*v - 2. Let b be j(2). Let a be -7 + 3430/150 - (25 - 11). Are b and a nonequal?
True
Let g be 16 + 1 - (2 + 2) - 1. Suppose -9*x - 5*v - 1166 = -g*x, 3*v - 1966 = -5*x. Is 392 smaller than x?
False
Let t be (18/15)/((-12)/(-30)). Suppose h - 18 = 3*v, 2*h = t*h + 5*v - 2. Suppose -3*z = 3*z - 66. Which is smaller: h or z?
z
Let b be 9/27 - 78939/(-108). Which is greater: b or 732?
732
Let c = -27 - -24. Suppose 72*j - 60*j = -348. Which is greater: j or c?
c
Let t = 8.2 + -8.095. Let i = -3.205 + t. Is i not equal to 0?
True
Let u = -11 + 29. Suppose 225 = -v - 2*h + 248, -3*v + 5*h + 14 = 0. Suppose u*p = v*p. Is p at least as big as 0?
True
Let q be (0 + (-1 - -1))/2. Suppose -208 = -2*i + 4*k - 60, -5*k = 10. Suppose 4*w - 16 = 4*t, 0 = -5*t + w - 6*w - i. Which is smaller: t or q?
t
Let y = -0.016 + 10.416. Let w = -29.4 + y. Which is smaller: 3/7 or w?
w
Let o(u) = u**2 + 2*u - 9. Let h be o(-4). Let q = -11882/11 + 1081. Let b = -106/143 + q. Which is smaller: h or b?
h
Suppose 0 = -5*g - 15, -3*u - 81 = -5*u - g. Suppose 3*o = -3*x + u, -5*o + 3*x = 2*x - 46. Suppose 2*j - 2*d = -0*j - o, -j + 25 = 5*d. Is j <= -1/4?
False
Suppose -111 = 28*n - 27*n. Let b = 110 + n. Which is smaller: b or -1/203?
b
Let z be 66/(-55) - (8032/10)/(-1). Which is bigger: 803 or z?
803
Suppose y + 116 - 195 = 2*l, 2*l - 170 = -2*y. Is 100 less than or equal to y?
False
Suppose 2*q = r + 4, 3*r - 2*q + 4 = 4*r. Let h = -2809 - -95503/34. Is h less than r?
True
Let m = -1552.2 + 1558.2. Let h be (-52)/(-42) - (0 - 0). Let s = h - 4/7. Is m at most as big as s?
False
Let a = -1.38 + -13.12. Let k = 14.29 + a. Is -1 greater than k?
False
Let k = 10 - 10. Suppose 5*a - 8*a - 6*a = k. Let o be 144/39 + (1 - 5). Which is smaller: a or o?
o
Suppose 6*a = 11*a. Let j = -1 + 1. Suppose j*s + s = a. Which is smaller: s or 2/17?
s
Let y = 337 + -339. Let a be y/3 - (9200/(-1395))/10. Which is smaller: a or 0?
a
Let g = 3091 - 9275/3. Which is bigger: 875 or g?
875
Let l = -0.001 - -55.001. Let w = -97 + l. Let b = w + 58. Which is bigger: 1 or b?
b
Let f = 21314 + -21295. Are -410 and f unequal?
True
Let m(s) = -3 + 11*s**2 - 5 - s**3 - 2*s + 22. Suppose r - 2*r - 44 = -4*z, z = -5*r + 11. Let q be m(z). Which is bigger: -10 or q?
q
Let u = 2237 - 2078. Are u and 163 nonequal?
True
Let d = -2603 - -2692. Do d and 87 have the same value?
False
Let p = 5283550766/71 - 74414916. Let x = 1292 - p. Which is smaller: x or 0?
0
Let p = 608 - 480.1. Let j = p - 128. Are j and 1/33 non-equal?
True
Let s be 4 + (-4)/2 - -1. Suppose 11 = -p - s*w + 1, 0 = -p - 2*w - 11. Let i(c) = c**3 + 7*c**2 + 40*c + 268. Let d be i(-7). Which is smaller: p or d?
p
Let c be ((-60)/(-27))/(-10) - (-1907937)/(-81). Is c less than or equal to -23555?
True
Suppose -2*b + 12 - 20 = 0, h + 5*b = -8. Is h >= 305/28?
True
Suppose -3*l - 29 = 3*m - l, -4*l = -4*m - 12. Let o be 1*1/(-2)*(-21 - m). Suppose 4*x + o + 9 = 0. Is -6 > x?
False
Let i be -348*7/((-252)/30). Is i at least 292?
False
Let s be 3*(-6)/(-171) + 6944/(-266). Is -464/17 at most s?
True
Let m = 938 + -934. Is m less than 2.27?
False
Let m be (-51)/18*((-1 - 9/18) + 0). Which is greater: m or 1/183?
m
Let i = 9.65 - 5.25. Let d = 4.5 - i. Which is smaller: 1/31 or d?
1/31
Suppose 3*h = -l - 2, -13*l - 1 = -h - 15*l. Which is smaller: 8/159 or h?
h
Suppose -9*t = 13 - 49. Let h be t*1 - ((-333)/(-117) + 1). Suppose 0 = 2*n - 3*j - 11, -j = 5*n - 2*j - 8. Which is smaller: h or n?
h
Let b(v) = 10*v + 59. Suppose -16*u = -8*u + 48. Let n be b(u). Let r be 1 + 1 + (-45)/21. Is r bigger than n?
True
Suppose -4*c + 2 + 2 = 0. Let i = 4317 + -4236. Is i != c?
True
Let d = -64 + 68. Let q be (-4334)/(-792) - (-8)/(-36). Which is smaller: d or q?
d
Let o(s) = 1 + s + 0*s - 4. Suppose -51 - 9 = -12*d. Let n be o(d). Which is greater: 8/5 or n?
n
Let y be 1/(2 + 22/(-12)). Let r = 541 - 791. Let k be ((-10)/r)/((-9)/(-1305)). Which is smaller: k or y?
k
Let z(h) = -12*h + 32. Let i be z(3). Let n be i*2/8 - 2. Is -2 bigger than n?
True
Let h = 2 + -3. Let y = 3484636/4225 + -20619/25. Which is smaller: h or y?
h
Let w = 33 + -33.06. Let a = w + 0.04. Let p = 11 - 16. Are p and a equal?
False
Let t = 510 + -13765/27. Let j = 27077/27 + -1003. Let k = j - t. Is -2.7 greater than k?
False
Suppose -22*k + 473 = -847. Is 97 < k?
False
Let v = -3/13013 - 8666601/247247. Is v greater than -35?
False
Let c = 13816/175 - 79. Is -1 < c?
True
Let q be 5/10*-238*-1. Let u = q + -1427/12. Is 0 smaller than u?
True
Let z = 64 + -385/6. Let m be (1/1)/((-11)/33). Let u be 7 + m*(-4 + 6). Which is smaller: z or u?
z
Suppose 0*y - 4*y = -3*y. Suppose -8*m + 13*m - 570 = 2*b, -m = 2*b - 102. Let u be 284/m + (-35)/28. Which is smaller: y or u?
y
Let f = 106/77 - 12/11. Let q(z) = -3*z**3 - 23*z**2 + 2*z + 47. Let g be q(-6). Which is smaller: g or f?
g
Let g(a) = -a**3 + 18*a**2 + 7*a + 5. Let d be g(18). Let o = d - 130. Is -1/109 not equal to o?
True
Let c = 906.1 + -906.11. Is c bigger than 27/8?
False
L