 3/50. Suppose 16 = 4*i, 2*f - 204 = 3*i - 0. Is t != f?
True
Let j = 985 + -986. Which is smaller: j or -1098?
-1098
Let k(m) = 2*m**3 + 2*m**2 - 12*m + 26. Let h be k(4). Which is greater: h or 136?
h
Let k = -242 + 272. Suppose -5*c - 3 = 2*b, -5*b + 2*c + 0*c = -7. Which is smaller: b or k?
b
Let o be 450/(-104) + 93/(-124). Is o less than or equal to -6?
False
Let w(n) = -n**3 - 6*n**2 + 8*n - 1. Suppose 0 = -3*g - 2*g - 35. Let s be w(g). Let p(y) = y**2 + 8*y. Let x be p(s). Which is greater: -1/6 or x?
x
Let g = -0.2258 + 0.3258. Is g less than -515?
False
Let z be (-1*63/(-3) - -2)/(-1). Which is smaller: -13 or z?
z
Suppose 0*o + o = 0. Let i be (-1)/(-4) - (90/8)/15. Is i at most as big as o?
True
Let d be (12 + 5)*12/8*-2. Which is bigger: -50 or d?
-50
Let n(g) = 158*g**2 - 166*g**2 - 6*g + 4 - g**3 - 1. Let h be n(-7). Let w be h*-2*4/56. Which is greater: 1 or w?
1
Let s(c) = 2*c**2 + 44*c - 30. Let u be s(-22). Which is greater: u or -28?
-28
Let u = -383 + 36. Is -346 less than u?
False
Let i be ((-126)/567)/(4/(-6) - -1). Let f be (-2)/(-10) + 123/(-15). Which is smaller: f or i?
f
Let x = 249 + -1720/7. Are 4 and x nonequal?
True
Let s be -4 + (-3 - (7 + -14)). Let w be (-6478)/3399 - (-12)/6. Let r = -1/309 + w. Which is smaller: r or s?
s
Suppose -n + 2*n + 1 = 0. Let q = 4426 - 4428. Which is greater: n or q?
n
Let x = -2.98 - -36.98. Which is smaller: 1 or x?
1
Let g = 2/1177 + -1185/4708. Is g equal to -0.0012?
False
Let x(d) = d**2 + 11*d + 9. Let l be x(-9). Suppose 0 = -4*f + 16. Suppose -s = 4*g - f, 0*s - 3*g + 17 = -s. Do s and l have the same value?
False
Let s be (-24)/390*25/10. Do s and 4 have the same value?
False
Suppose -c - 1 = 12. Let j = c + 30. Let a = -427/25 + j. Which is bigger: 1 or a?
1
Suppose -3*o = -4*d - 2, 3*o + 2*d - 3*d = -13. Let k = 6 + o. Let g = -389 - -4281/11. Which is bigger: k or g?
g
Let q = 112793/22 - 5128. Which is smaller: 0 or q?
q
Let j = 886 + -27465/31. Which is bigger: j or -0.2?
j
Let n be 0/1 + (-8 - -2). Suppose 9*q + 100 = 4*q. Let x = q - -22. Which is greater: n or x?
x
Let d be 3 + (-1 - 6 - 186). Which is smaller: d or -188?
d
Let g be (-3)/(-6) - (-2067)/(-78). Is -24 greater than g?
True
Suppose -2*s + 3*s = 4*t - 7, 4*s = -3*t - 9. Let c = 170 + -2546/15. Do t and c have different values?
True
Let g(y) = 4*y. Suppose -k - 8 = -4*s, 5*s + 4*k + 11 = -0*s. Let j be g(s). Suppose -85 = -z - j*z - b, -3*z + 58 = 2*b. Are z and 16 equal?
True
Let q = -340 - -340. Is q < -102?
False
Suppose 3*w + 4*y - 179 = 0, -w - y + 31 = -27. Let q = -53 + w. Which is smaller: 2/3 or q?
q
Suppose 0*x + 2*x = -4*o + 28, 4*x = 8. Let s be (-3)/((-1)/((-4)/o)). Let i be (9/(-162))/(s/(-8)). Which is smaller: i or 4?
i
Let c = -59 - -58.985. Let y = 0.085 - c. Which is bigger: -24 or y?
y
Let k = -51/2 + 26. Let i = 22 - 23.85. Let b = i + -0.15. Which is smaller: k or b?
b
Suppose s + 4*s - 45 = 0. Which is bigger: s or 8?
s
Let o(s) = s**3 + 8*s**2 + 8*s + 7. Let k be o(-7). Suppose k*q = 4*q. Let r = 36/13 - 615/208. Is q bigger than r?
True
Let y = -2298/7 - -328. Let c = -7 + 14. Let o = -13 + c. Is y smaller than o?
False
Let p be 3/24 + (-277)/40. Let n = -7 - p. Which is greater: n or 0?
0
Suppose -3*p = -8*u + 3*u + 36, 2*p + 24 = 3*u. Is p greater than or equal to -9?
False
Let i = 45.4 + -43.4. Which is greater: -349 or i?
i
Let w = -9 - -5. Let n(d) = d + 5. Let k be n(-3). Suppose 7 = -k*h + 5. Which is smaller: h or w?
w
Suppose -5*i + 2*i - 9 = 0. Let v(z) = z**2 + 2*z - 3. Let x(d) = 25*d - 25. Let b be x(1). Let j be v(b). Do j and i have different values?
False
Let p be (3/(-6))/((-1)/24). Suppose -4*s = -s - p. Let d(t) = 2*t**2 - t + 2. Let o be d(1). Which is smaller: o or s?
o
Let z(l) = -637*l + 3168. Let d be z(5). Let x be 1*(-1)/(-6)*2. Is d > x?
False
Let y be 3 + (-450)/140 - 2/(-4). Which is bigger: y or -1?
y
Let o = -0.1498 - 0.0502. Which is smaller: -70 or o?
-70
Let x = 22 + -20. Suppose -w = 4*a + 11, w - x*w + a = -4. Is w smaller than 3/35?
False
Let c be (6 - 7)*(-13 - -71). Is c < -60?
False
Let a = -15 - -13. Let b be (-4)/a - 0/7. Let h be (b/(-8))/(1/4). Which is bigger: h or 2/7?
2/7
Let a(v) = -124*v + 361. Let b be a(4). Is b at most 3?
True
Let t = -660 - -657. Is t bigger than -45/29?
False
Let b = 1 + -3. Let g(x) = -x**2 + 16*x - 29. Let i be g(14). Which is smaller: b or i?
b
Let m = -424 - -1222/3. Let h = m - -341/21. Is 0.2 greater than or equal to h?
True
Let p = 0 - 1. Let s = p - -4. Let f = 24.3 + -24.5. Which is greater: s or f?
s
Suppose 1 = -4*w - l, -2*w + 5*l - 20 = 3*w. Let b be (-3 - (-4)/1) + w. Which is bigger: b or 2/9?
2/9
Let w be 220/(-15)*(-27)/150. Let s = -604/225 + w. Which is smaller: 0 or s?
s
Suppose -28 = -2*x + 5*k, -2*x + 3*x - 3*k - 15 = 0. Suppose 4 = 4*p, 6*p - 2*p = 5*h + x. Which is smaller: 5/14 or h?
h
Let t = 955 - 973. Which is smaller: t or -19?
-19
Suppose 0 = 14*n - 10*n - 32. Do 108/13 and n have the same value?
False
Let q be ((-1)/(-9))/(7/(-6)). Suppose 7*o - 4*p + 25 = 12*o, -p = -5. Which is smaller: q or o?
q
Let h = 0.1 - -34.9. Let c = h - 31. Which is bigger: -0.1 or c?
c
Let u be 120/18*60/(-7). Let j = u - -57. Which is smaller: -1 or j?
-1
Suppose 3*i = 2*i - 3, i = -5*z + 37. Suppose -6*x - z = -4*x, -5*b + x = -74. Let m = b + -124/9. Which is greater: m or 1?
1
Suppose 5*l = -4*r - 3 + 8, 4*l + 2 = -2*r. Do l and -50/19 have the same value?
False
Suppose 0*o - o = 0. Let t be (-7)/(-21)*(-36)/(-26). Which is greater: t or o?
t
Let f(h) = h**3 - 2*h**2. Let u(a) = -a**3 - 2*a**2 + 3*a + 2. Let q be u(-3). Let r be f(q). Let s = -160 + 163. Is s at least r?
True
Let m = -236 - -706/3. Is m smaller than -1?
False
Let r = 360 - 391. Is 1 not equal to r?
True
Let q = -3.52 - -3.27. Which is smaller: q or -2/7?
-2/7
Let h be (-2)/(-6) - (60/(-9) - -4). Suppose h*g = -5*m - 40, -32 = 4*m + 3*g + 2*g. Is m at least as big as -8?
True
Let q = -22605/8 - -2826. Let k = 4/61 - -167/244. Is k less than q?
False
Let r(z) = 3*z**2 - 7*z + 9. Let t be r(2). Do 110/17 and t have the same value?
False
Suppose x - 3*b = 3, 0 = 4*x - 3*b + 4 - 7. Let m be 57 + -58 + (-6)/(-4). Which is greater: x or m?
m
Suppose -4*d + 15 = 7. Suppose 0*k = -d*k + 28. Let w = 13 - k. Which is smaller: w or 1?
w
Let s = -0.15 - 0. Let i = -8420 - -8418. Which is greater: i or s?
s
Let x = -1745/3 - -604. Is 23 not equal to x?
True
Let q be 2 + -3 + 0/1. Suppose 4*u = -2*u + 18. Let a be 2*((-39)/12 + u). Which is greater: q or a?
a
Suppose -103 - 12 = -5*r. Is r smaller than 24?
True
Suppose -11*h + 70 = -h. Let s be 2/(h/3*(11 + -14)). Which is greater: -2 or s?
s
Suppose 144 = 4*a - 68. Suppose 0 = 3*x + 4 + a. Which is smaller: -21 or x?
-21
Let n(b) = -8*b - 73. Let c be n(-8). Suppose 0 = 3*z + 5*p - 7, -4*z - 4*p + 0*p = -12. Suppose -45 = z*m - 2*y - y, -4*m - 5*y - 21 = 0. Does c = m?
True
Let a = -23 + 9. Let g = -15.5 - a. Let l = 1.6 + g. Which is bigger: l or 2/5?
2/5
Let u = -138/5 + 467/20. Which is smaller: 2 or u?
u
Suppose k + 5*n = -k + 20, -40 = -4*k - n. Suppose 3*t = -8 - k. Let p be t/(-21)*4/(-8). Which is smaller: 1 or p?
p
Let b = 14/33773 - 3116202/21918677. Let u = b - -3/59. Which is smaller: 0 or u?
u
Suppose 0 = 5*f - 2*f - 18. Suppose -3*o - f*o = 549. Is -61 smaller than o?
False
Let w be 12 + 0 + (3 - 2). Let x(t) = -13*t. Let k be x(-1). Let r = k - w. Is 0 equal to r?
True
Let j = -2.168 + 0.148. Let z = j - -2. Let o = 0.73 - 0.53. Which is smaller: z or o?
z
Let r(v) = 14*v - 55. Let m be r(4). Is m less than 2/899?
False
Let v = 0.7445 - 0.0645. Is v < 2?
True
Let m = -29 - -27. Let n be ((3/2 + -2)*m)/(-1). Which is smaller: n or 3/11?
n
Let b be 5 - 7 - (-16)/9. Let m be 7/7 - (-10)/(-2). Let v be 0/4 - (-4 - m). Do b and v have the same value?
False
Suppose 5*p - 4 = j, -4*p + 6 + 14 = 2*j. Suppose -j*b = -9*b - 15. Let r be -3 + 1 + -1 + -2. Is r not equal to b?
False
Let t(f) = -81*f - 1. Let v be t(11). Let l be 1/(-5) + v/(-20). Let i = l + -209/5. Does 3 = i?
False
Let p(v) = -v**3 + 4*v**2 - 3*v + 2. Let l be p(3). Suppose -9 - 1 = -l*j. Suppose j*k - 2*k = 0. Which is smaller: 2 or k?
k
Suppose 4*j + 17 = -2*h - 21, 4*j + 5*h = -29. Let l be (-2)/12 - j/(-33). Let