Which is smaller: w or -22?
-22
Let x = -202 - 400. Is 1/2 greater than or equal to x?
True
Let i = -33.079 + 0.079. Let a = i + 33. Is -0.04 <= a?
True
Let t be (8 - 6)*(-5)/10. Let f be (-8)/(-110)*(-5)/2. Which is smaller: f or t?
t
Suppose 0*s - 5*s = 440. Let q = s + 89. Are -3/17 and q equal?
False
Let q = -39 + 40. Let r = 2/211 + 201/1055. Is q bigger than r?
True
Let g(d) be the second derivative of -d**5/20 + 7*d**4/6 - 2*d**3 - 5*d**2/2 + 18*d. Let x be g(13). Is x greater than 8?
False
Let q = 13.35 - -0.65. Let a = 15.1 + -0.1. Let l = q - a. Which is smaller: l or -2/9?
l
Let i(b) = -3*b**2 + 18*b + 60. Let a be i(8). Does a = 18?
False
Let o be 75240/(-1089) - (1 - (-12)/(-11)). Which is smaller: -55 or o?
o
Let z = 21 + -21. Suppose 3*t = -3*u - 3, -t + u - 2 + 11 = z. Which is smaller: t or -4?
-4
Let r = -0.05 - -0.55. Let z = 0.2 - r. Is z greater than or equal to 2?
False
Let l be (-2010)/156*6/30. Are l and -4 unequal?
True
Let k = 3.0237 - 0.0237. Which is smaller: 0.04 or k?
0.04
Let k = 79 - 74. Let s = k - 5. Is s >= 4/13?
False
Let u be (-4)/(-10) - (-4)/(-6). Let o = 31/60 + u. Let r = 0.054 - 0.054. Is r >= o?
False
Suppose 7*x - 10 = 2*x - 2*h, 15 = 3*x + 3*h. Is x less than or equal to -18/13?
False
Suppose -2*c + 205 = -4*h - 25, 4*h + 2*c + 242 = 0. Is h smaller than -179/3?
False
Let i = 2 - 4. Let f be (1 + 0)/((-1)/i). Suppose f = -5*r + 17. Is r smaller than 1/4?
False
Let z(p) = -p + 0*p**2 + 0*p**2 + p**2 + 2*p**3. Let t be z(-3). Let s be t/4*(-30)/45. Which is smaller: 9 or s?
s
Let f(m) = -2*m**2 - 39*m + 47. Let s be f(-22). Which is greater: s or -59?
-59
Let p(l) = l**3 + 7*l**2 + 7*l + 4. Let r be p(-6). Let j be (-5)/10*r/(-3). Let o = -69 - -50. Which is greater: o or j?
j
Suppose 0 = 3*g + 3. Let b = 184 - 181. Suppose s - 3*s - b*y = -9, -5*y + 19 = 2*s. Which is bigger: g or s?
g
Let o(a) = a**2 + 6*a - 11. Let c be o(-6). Which is greater: -8 or c?
-8
Let d be (-1215)/153 - -1 - -7. Which is bigger: d or 5?
5
Suppose w = -2*s + 8, -w = -4*s + 4*w + 30. Suppose 0 = -s*i + 4*r - 19, -r = -3*i + 2*r - 12. Is -5 at least i?
False
Let h(n) = 15*n - 4. Let y be h(4). Let r = y - 42. Is r less than 15?
True
Let i = 17.2 + -17.4. Let m = -3 - 7. Which is smaller: m or i?
m
Let h be ((-8)/2388)/(8/(-36)). Is -1 < h?
True
Let l be ((-7153)/7107 + 2/2)*-3. Which is smaller: -1 or l?
-1
Let i(j) = j**2 + 12*j - 16. Let m be i(-10). Let w = m + 52. Does w = 16?
True
Let q = -14 - -17. Let t be -4 + 4 - (-1 + q). Let a = t - -3. Is a smaller than -3/8?
False
Let v = 28 + -31. Let w = 3 - 4. Let u = w - 4. Is u greater than or equal to v?
False
Let r = 15.5 - 13. Let h = 1.2 - -0.8. Let i = r - h. Is i less than 0?
False
Let u = -33.7 + 32.7. Is 17 not equal to u?
True
Let y be (4/3)/((-6)/(-18)). Suppose y*s = -s + s. Which is greater: s or -4/9?
s
Let c = -96.01 - -96. Let y = -3 + 2.7. Is y less than or equal to c?
True
Let h = 243 - 257. Which is smaller: -1 or h?
h
Suppose -4*r - 832 = -4*i, 2*r = -2*i + 3*r + 414. Is i >= 206?
True
Suppose 4*q = -0*q + 192. Suppose -k = -5*k + q. Suppose -k*a + 15*a - 36 = 0. Is a >= 11?
True
Let o(c) be the third derivative of c**4/24 - c**3/6 - 9*c**2. Let s be o(3). Let i = -0.12 - -0.07. Which is greater: i or s?
s
Suppose -4*c - 3 = 9. Let z = c + 7. Suppose 4*n - z*t - 32 = 0, -t = n - 0*t + 2. Which is bigger: 2 or n?
n
Let m = -68.6 + 68.1. Is m less than or equal to -2/25?
True
Let h be 11 - (15 - 94/6). Suppose -59 = 3*l + l - c, 5*l = -4*c - 79. Let y = l - -26. Which is bigger: y or h?
h
Let d be 14/(-6) + (-1)/(-3). Let v be -2 - (-6 + (-2)/d). Let u = 786 + -3129/4. Is v >= u?
False
Let q be (0 + -12)*-1 + (-20 - -15). Let m = -7 + 10. Suppose -m*l + 60 = q*k - 2*k, 3*l = 0. Is k >= 13?
False
Let i = -110 - -120. Let x(v) = v**2 + 3*v - 5. Let n be x(-4). Let h be n + 0 + -2 + 13. Is h less than i?
False
Let q = 5 + -2. Let y be -3 + (-4 - (-1 - 3)). Let s be ((-6)/16)/(y + (-117)/(-42)). Which is greater: q or s?
q
Let a = 229 - 1138/5. Suppose -2*y = -d - 1, d + 3 = -2*d. Is a greater than or equal to y?
True
Let y = 325 + -178. Let l = -150 + y. Is l > -1/2?
False
Suppose -12 = -3*s, 0 = -4*j - 0*s + 5*s - 20. Is -2/35 smaller than j?
True
Let s = 0.0722 + -0.0622. Is -0.36 bigger than s?
False
Suppose -2 - 23 = -5*q. Let w = 436 - 433. Which is smaller: w or q?
w
Let z = 104 + -90. Is 14 less than z?
False
Suppose 4 + 0 = -4*o. Let h = 85/4 + -1097/52. Are h and o equal?
False
Let s(l) = -2*l**2 - l. Let h be s(1). Let u be ((-10)/15)/(2/h). Which is smaller: 4/3 or u?
u
Let x = -2 - -2. Let u be (20/35)/((-2)/7). Is u at most x?
True
Let a = 16.33 + -23.33. Is 24 < a?
False
Let r be (2 + 0)/(1 - (-8)/(-6)). Let x = r - -33. Which is smaller: 28 or x?
x
Let z be -70 + -7 - ((-2)/(-2) - 2). Let d be 1/(-4) - z/(-16). Is d < 0.2?
True
Suppose -13*s + 1652 - 5630 = 0. Is s not equal to -305?
True
Let v = -108 - -95. Suppose -5*l + 2*p - 54 = 12, -2*p = 5*l + 74. Does v = l?
False
Suppose 0 = -i + 3*n + 16, n = 2*i + 4*n - 14. Suppose 0*s + i = 5*s. Suppose d + s + 1 = 0. Is d != -3?
False
Let s(j) = j**2 - j - 2. Let h be s(3). Let u be (16/(-6))/(h/(-18)). Let t = -13 + u. Are t and 1/5 non-equal?
True
Let r = 181 - 182. Which is greater: r or 2/3243?
2/3243
Let b be (-72)/(-3) + 5 + 13/(13/(-8)). Suppose 2*g - 3*w + 2*w - 52 = 0, -5*g = -2*w - 129. Which is greater: g or b?
g
Let b be (1 + 1 - 0)/1. Let s(m) = -2*m + 2. Let j be s(2). Let u be j/((2 + -1)*b). Which is bigger: u or -3/11?
-3/11
Suppose 5*j + 2*y + 3191 = 0, -3194 = 8*j - 3*j + 3*y. Is j < -637?
False
Let z be ((160/24)/10)/(4/(-114)). Let o = z - -20. Do o and -4/51 have different values?
True
Let u = 906/53 + -17. Which is smaller: -1 or u?
-1
Let x = 69.1 - 69. Which is smaller: x or 160/3?
x
Let k be (-1222)/(-234) + (-9 - -4). Which is bigger: 51 or k?
51
Let t be (-148)/1110 + (-4)/15. Let i(h) = h**3 - 5*h**2 - h + 5. Let m be i(5). Are t and m equal?
False
Let c = 1.27 - 1.266. Let r = -0.096 - c. Which is bigger: 0.57 or r?
0.57
Suppose -189 = -12*b + 3. Do 17 and b have different values?
True
Let l = 2/191 + -588/19673. Which is greater: l or 0?
0
Suppose 2*x + p - 4 = -2*p, -31 = -5*x + 3*p. Suppose 5*l + 3*o = o + 87, 0 = -5*o + x. Let v = l - 17. Which is smaller: 1/5 or v?
v
Let h be 275 + 13/((-26)/16). Which is greater: h or 268?
268
Let g be 1 + (2 - (35 + 0/(-2))). Let y be 3/(-8) - 36/g. Which is smaller: y or -6/11?
-6/11
Let j = -57 - -59. Suppose -3*p + j*l - 7 = 0, 2*p - 4*l + 8 = -l. Which is smaller: p or -1/13?
p
Let n = -3.51 - -3.61. Which is bigger: n or -0.231?
n
Let t be 1/((-5)/(-320)*1). Let b be 124/t*2*4. Is 15 at least b?
False
Let j = 17 - 9. Let k = j + -8. Let m be 2/(-6) + (-2)/3. Which is smaller: k or m?
m
Let j = 7 + -7.16. Let t = -1.86 - 6.24. Let x = -9.1 - t. Do x and j have the same value?
False
Let v(a) = -4*a + 31. Let f be v(5). Suppose 7*d + f + 3 = 0. Is -2 smaller than d?
False
Suppose -7*n = -10*n. Let c = -18 + 30. Suppose -2*u + m - c = -m, n = m - 4. Which is bigger: -1/4 or u?
-1/4
Let w be (6 - 0)*9*(-17)/17. Which is bigger: -55 or w?
w
Let s(q) = 12*q + 5. Let u(m) = -m**2 + 2*m - 2. Let v be u(2). Let z be s(v). Which is smaller: -18 or z?
z
Suppose -2*q + 3 = -5*l - 14, -3 = 3*l. Suppose -4*p + 4*h = -88, 0*p + 5*h - 16 = -2*p. Suppose d - 4*d = -3*t - p, -2*d = t - q. Which is greater: d or 2?
d
Let p = 135014/1399041 + -36/371. Which is smaller: -1 or p?
-1
Suppose -4*j + 13*j + 171 = 0. Suppose -i - 4*i = 85. Let x = -37 - i. Which is smaller: x or j?
x
Let j = -35 - -43. Let t be (j/14)/((-4)/32). Is -6 not equal to t?
True
Let y = 369 + -390. Let b = -2/43 + -76/215. Is b equal to y?
False
Suppose -9714 = 27*v + 249. Which is bigger: 2 or v?
2
Let q = -17 - -11. Let r = 15 + q. Let c be (-16)/(-6)*r/6. Is c less than 4?
False
Suppose -2*n = -4*k + 148, -2*n = -5*k - n + 179. Let u = k - 34. Which is smaller: u or 2/43?
2/43
Let w be 312/(-1484) + (-2)/(-7). Which is greater: -1 or w?
w
Let o(w) = w**3 - 23*w**2 + 22*w + 5. Let h be o(22). Suppose -231 = h*u + 2*n, 5*u + 2*n - 3*n = -222. Are -44 and u unequal?
True
Let u be (-10)/458*4/10. Let h be 84*6/13740*(-156)/14. Let p = u - h. Which is greater: 0.3 or p?
p
