 + 7 + 5. Suppose w*r - 4 = -0*r. Is h at least as big as r?
False
Suppose -63 = 11*g - 4*g. Which is smaller: g or -3?
g
Let y = 91 - 71. Let d = y + -19.7. Which is smaller: 0.23 or d?
0.23
Let p be -2 + (-64)/(-30) + (-1990)/14550. Which is smaller: p or 0.2?
p
Let n be 24/558*3/2. Which is smaller: -0.3 or n?
-0.3
Suppose 2*s + 5*n = -3*s + 15, 30 = 5*s + 2*n. Let f = s + 8. Is f bigger than 16?
False
Suppose -5*s = i - 32 + 2, 2*i = 3*s - 18. Do 4 and s have the same value?
False
Let s = -720 - -723. Let z be ((-46)/(-12))/((-74)/(-38)). Let i = -5/37 + z. Which is bigger: i or s?
s
Let m = 109 + -76. Let q = 33 - m. Which is smaller: -10/23 or q?
-10/23
Let b be 10/4 - (-15)/(-6). Suppose u + u = 2, 18 = 4*x - 2*u. Suppose b = -x*r + 91 - 36. Are r and 11 nonequal?
False
Let i = 70 - 73.14. Is i >= 2/7?
False
Let y = 483873/175 + -2765. Let f be (-410)/875*8/22. Let k = f + y. Which is smaller: k or -3/7?
-3/7
Let v be 0/((-5)/(7 + -12)). Is -18/47 less than v?
True
Let b = -0.01 + -2.99. Let t = -25.73 + 27.7. Let l = 0.03 + t. Is b equal to l?
False
Let i = 609.5 + -610. Is -22/7 smaller than i?
True
Let s = -15 + 47. Let v = s + -14. Suppose 5*o = 7*o + v. Is o >= -8?
False
Suppose 24 = -11*g + 101. Which is greater: g or -2?
g
Suppose -88 = -u - 3*u. Suppose 4*c - 3*m = 83, -2*m = -3*c - 4*m + 75. Is c <= u?
False
Let d = 1.1 - -5.9. Let f = -16 + d. Let l = 19 + -59/3. Which is smaller: f or l?
f
Let z = 271 + -199. Which is greater: z or -2?
z
Let a be 0/((5/10)/(1/(-2))). Suppose 19 = -b - 3*i - a*i, -5*i = -5*b - 115. Is b greater than or equal to -22?
True
Let p = 33 - 20. Suppose 0 = 3*h + x, -3*x + p = -5*h + h. Let k be (-4)/18*1 + 1220/(-585). Is k at least as big as h?
False
Let b = 714 - 733. Which is bigger: -0.07 or b?
-0.07
Let y be (4/(-12)*0)/3. Let f be y/((-8)/2*(-1)/2). Is f at most as big as 2/127?
True
Let t be (-9)/(-27)*1542 - (2 - -1). Is 511 > t?
False
Suppose 482 = 19*b - 31. Is b < 26?
False
Let a(s) = -15*s**3 + s**2. Let c be a(-1). Let t = 16 - c. Let d be ((-1)/(-2))/((-1)/2). Is t < d?
False
Let q = -76/13 + 580/117. Let p(a) = -5*a + 140. Let d be p(28). Which is greater: q or d?
d
Suppose 2*c + 47*i - 1768 = 45*i, c - 5*i - 872 = 0. Which is greater: 881 or c?
c
Let a = 4676/3 - 1257838/807. Is a < 1?
True
Let i(v) = 6*v + 46. Let y be i(-12). Which is smaller: 4 or y?
y
Let y = 15 - 14.46. Let n = 0.44 - y. Which is bigger: n or 54?
54
Let g = -107 + 75. Which is greater: -31 or g?
-31
Let o = 218/61 + -119185/33367. Let x = o + -1115/11487. Let v be ((-10)/(-5))/(-4 + 0 + 6). Which is greater: v or x?
v
Suppose 3*o + 4*w - 534 = 0, -3*w + 534 = -2*o + 5*o. Suppose v - 3*q = 66, -v - 2*v + 5*q + o = 0. Is v bigger than 50?
True
Let s = -386299/7 - -55472. Let k = -287 + s. Which is greater: -2 or k?
k
Let c(y) = -2*y - 9. Let z be c(-8). Let s be (3 - 2)*z/(-56). Is s less than -3?
False
Let t = -10 - -19. Suppose -3*u + 3 - t = 0. Suppose -119*j = -130*j - 11. Which is greater: u or j?
j
Let o = 27 - 25. Suppose o*z = -4*p - 2, 3*z = 2*p - 0*p + 21. Which is smaller: z or 1?
1
Let n = -3 - -2. Let j be 14/6*765/(-1785). Is n bigger than j?
False
Suppose -4*t - 35 = 5*c, 4*c - 99 + 126 = -3*t. Let s be 2/(-7) + (-2)/(-7). Let l = s + 0. Which is smaller: l or c?
c
Suppose -172*f + 1650 = -167*f. Which is smaller: 991/3 or f?
f
Let f = 957/6164 - -5/268. Which is smaller: 0 or f?
0
Suppose -166*n = -170*n - 4*y - 24, n + 4*y = -21. Which is greater: 1922 or n?
1922
Let b = 0 + -2. Let n = 0.06 + 2.54. Let t = n + -2.7. Is b < t?
True
Let q be ((-24)/2)/(-3 - -26 - -2). Let v = 3/25 - q. Is v < 0?
False
Suppose 2*k - 2*j - 422 = -3*k, 2*k - 4*j = 156. Let v = 55 - k. Is v greater than or equal to -32?
True
Let a(i) = -i**3 + 10*i**2 - 10*i + 12. Let n be (-1)/(-3 + (-52)/(-18)). Let m be a(n). Suppose 2*v - m = s + 6, 5*s = -5*v + 30. Is 5 less than v?
False
Let v = 883 + -815. Is v not equal to -1/5?
True
Let m be (-2)/(-29) - (-240)/(-116). Is 2.04 less than or equal to m?
False
Suppose 2*w + 81 = -5*j, 0 = -2*j + 3*j - 4*w + 3. Let c = 30 + j. Is 15 > c?
False
Suppose -5*u = -4*k - 50, -4*u - 5*k + 4 = -k. Suppose u*v - 2*v = 8. Suppose -5*o - v*y - 40 = 3*y, 34 = -5*o - 3*y. Do o and -6 have the same value?
False
Let x(v) = 157*v**3 + 2*v**2 - 4*v - 5. Let i be x(-1). Which is smaller: -155 or i?
i
Suppose -14*f + 33*f + 152 = 0. Let j be (-3)/((-12)/f) - -3. Is -1/211 greater than j?
False
Let y(q) = -q**2 - 6*q - 4. Let n be y(-4). Suppose -3*c + 4*i = -0 + 1, -3*i = n*c - 7. Let v = 5 - c. Is v equal to 5?
False
Suppose -5*q = -5*i - 5, i + 2*i + 6 = 2*q. Let o = i - -6. Let x be -9 + 1934/198 + 2/(-9). Is x smaller than o?
True
Let x = 218833/7612 - -3/1903. Does x = 30?
False
Let w = 0.0502 - 151.0502. Which is greater: w or 0.2?
0.2
Let b = 1594 + -1651. Let y = -3 - 30. Let l be -2*b/y - -4. Which is smaller: l or 2?
l
Let c(d) = 2*d**3 - 56*d**2 + 53*d + 25. Let k be c(27). Which is smaller: k or 3.1?
k
Let m = 34 + 121. Is 1 bigger than m?
False
Let v = -2060 - -2059. Is 5/189 less than or equal to v?
False
Let c = -1.534 - -4.534. Is c equal to 1/12?
False
Let c = 80 - 80. Suppose -6*n + 3*n - 54 = c. Which is smaller: n or -16?
n
Let p be (-7)/((-77)/(-121)) + 0. Which is greater: p or 70?
70
Suppose 7*j = 11*j + 168. Let l = 41 + j. Which is smaller: 3 or l?
l
Suppose 3*g - 8*g = -5*o + 10, g - 5*o = -22. Suppose 5*z + 2*y = -15, -2*z - 3*y = 7 + 10. Let b = 0 - z. Which is greater: g or b?
g
Let q be 6/21 + 2/(-7). Let u = -11 - -12. Suppose -2*n = -n + u. Which is smaller: n or q?
n
Let k = -1.1 - 6.8. Let a = k + 7.7. Is a bigger than 0.3?
False
Suppose 5*v = -7 - 3. Let l = -8/159 - 2663/795. Which is greater: l or v?
v
Let j be -1*2/(-4) - (-365)/70. Let i = 12 - 7. Is j != i?
True
Let b(v) = v**3 - v**2 - 2*v + 1. Let l be b(-2). Is -17 at least as big as l?
False
Suppose -35 + 7 = -4*u. Let r(z) = z**2 - 4*z - 9. Let y be r(u). Which is bigger: 11 or y?
y
Let n(t) = -6*t - 2. Let z be n(1). Let g(p) = 2*p**2 + 9*p - 10. Let k be g(z). Is 46 greater than k?
False
Let d(n) = -n - 9. Let l be d(-9). Which is bigger: -1/552 or l?
l
Suppose 4*w - 4*b = 276, -4*w - 10*b = -8*b - 282. Let j be 8/6*(-27)/(-6). Suppose j*t = t - w. Which is smaller: t or -15?
-15
Let a = -28 + 31. Let f be ((-2)/a)/(3 - -9*2). Which is smaller: f or 1?
f
Let c = 6 + -4. Let l(y) = 0*y**c - 21*y + 26*y - 3 - y**2. Let s be l(4). Is s != -5?
True
Let q(r) = -r**2 - 18*r - 35. Let b be (48/9)/(-4)*9 + -4. Let k be q(b). Let p = -112/3 - -37. Do p and k have different values?
True
Suppose 0 = 6*t - 70 - 194. Is t less than or equal to 45?
True
Let q = 2 - 2. Let d = 87 - 87.78. Let b = d + 0.8. Which is smaller: q or b?
q
Suppose -165 = 10*r + 135. Is -1/2 at least as big as r?
True
Suppose -4*y = -12, 3*g - 3*y + 5 = 2*g. Suppose 0 = w - 0*w + 3*c + 8, -2*w - 14 = g*c. Let v = w - -11. Is 6 at most v?
True
Let x be -2*1*(-3)/39. Which is bigger: x or 50?
50
Let r(c) = 2*c**3 - 3*c**2 + 3*c - 1. Let h be r(1). Which is smaller: 29/14 or h?
h
Let r(p) = -2*p - 14. Let y be r(-7). Suppose y = -s + 3, -o - 7*s = -10*s + 27. Is -21 less than o?
True
Let z = 0.43 + -1.73. Is z greater than 0.2?
False
Let i = 166 - 96. Let q = i + -62. Which is bigger: 0.1 or q?
q
Let d = -69 + 74. Suppose d*g - 8 = 9*g. Let s = 2 + -5. Which is smaller: g or s?
s
Let g be (1/2)/(385/(-364) - -1). Let q = g + 19/2. Are 0 and q nonequal?
True
Let y(g) = 7*g**3 + g**2 - g - 1. Let a be y(-1). Let z = -167 - -335. Let j be (2 - (-4)/(-3))/((-16)/z). Is j at most as big as a?
True
Let z be 1 + 1 + 34/6. Let r = -0.1191 + 0.1191. Is r equal to z?
False
Suppose -o - 2 = v, 0 = -3*o - o - 20. Let z be ((-7)/3 - v) + 2. Which is smaller: 0 or z?
z
Let i = -755/12 + 1377/20. Is 5 greater than i?
False
Suppose 0 = -5*v + 24 - 4. Suppose 3*m - v*m + 4*z = -3, 2*z - 21 = -m. Which is smaller: 16 or m?
m
Let z = -0.2 - 0. Let l = 54 - 55.125. Let g = l + 0.125. Which is smaller: z or g?
g
Let z(h) = h**3 + 3*h**2 + 3*h + 1. Let i be z(-1). Let p be (i/(6 - 3))/(3 - 5). Are -1/120 and p equal?
False
Suppose 0 = -3*d - 2*m + 4 + 4, -4 = -4*d - m. Let s = 1138 - 12510/11. Which is smaller: d or s?
d
Let u be (-388)/485 + (-13)/(-50). Which i