(-94))/((-23)/(-23))*-18. Which is smaller: o or 1?
o
Let h be (-28)/49 + (-10)/7. Let a be h*1/(-4)*2. Is a less than -2/11?
False
Let j be (-360)/(-32)*32/6. Suppose -3*q = 2*q + j. Is -12 smaller than q?
False
Let w(c) be the second derivative of -c**4/12 + 2*c**3/3 - 3*c**2/2 - 2*c. Let o be w(2). Suppose -o = -2*a + 9. Which is greater: 6 or a?
6
Let l be 4/(-22) - 5234/1584. Let u = l - 1/72. Suppose 4 = 2*x + 12. Is u < x?
False
Let k = -0.01 + 7.01. Let h = 7 + -7.06. Let r = h - 0.94. Is k <= r?
False
Let z be (18 - 1344/98)/(4/217). Is z > 232?
True
Suppose 2*n + 54 = -2*q, n + 7 = 4. Suppose t + 51 = -2*s, -4*t - 65 = 2*s - 11. Which is smaller: q or s?
s
Let f(p) = -4*p - 20*p**2 - 12 + 21*p**2 + p. Let m be f(6). Which is smaller: 25/4 or m?
m
Let x be (6 - 21)*2/(-2). Let w = -14 + x. Let r be 2/(-6)*3/(-5). Which is smaller: r or w?
r
Suppose 5*i + 5*q - 225 = 0, -5*i - 4*q - 13 + 234 = 0. Is 0.1 equal to i?
False
Let a = -1590 - -49256/31. Which is bigger: a or -2?
a
Let s = 0.2 + 0.3. Let v = 24 + -26. Let k = v + 2.1. Is s at most k?
False
Suppose -14*l + 10*l = -20. Suppose l*d = 22 + 28. Is 10 greater than d?
False
Let a = -0.1337 + -56.9663. Let l = -57 - a. Is -4.9 greater than or equal to l?
False
Let x(f) = f**2 - 14*f + 46. Let c be x(9). Suppose -i + 6 = 2*i. Let b = 8 - i. Which is smaller: c or b?
c
Suppose 6*o + u + 3 = 7*o, -5*u = 20. Which is smaller: -22/85 or o?
o
Let n = -291 + 383. Which is bigger: 91 or n?
n
Let n = 185 - 198. Is n <= -81/7?
True
Let z = -0.193 - -1.103. Let p = z - -0.09. Is p at most as big as 3?
True
Let c be 42/(-126) - (-56)/159. Is c >= -1?
True
Let j be 1/(-3) - 2/(-6). Let i = 96 + -51. Let z be (2 - i/20)*-1. Which is greater: z or j?
z
Let z = -512 + 791. Suppose 0 = 6*d - z + 99. Let b be ((-2)/(-9))/((-160)/d). Is b at least 0?
False
Suppose 5 = 4*f - 15. Suppose f*t + d + 1 + 0 = 0, 4*d - 16 = 0. Do 2/131 and t have different values?
True
Suppose -7 = -5*f + 3*r - 2*r, 3*r = 3*f - 9. Let n = 22653/760 + -149/5. Is n at least as big as f?
False
Let d(a) = 2*a - 66. Let r be d(31). Is -2 != r?
True
Let r be -9 + (35/6 - (-20)/120). Is 65 at least r?
True
Let m(t) = 6*t - 23. Let r be m(4). Is 2/97 != r?
True
Let c(d) = 14*d + 2. Let t be c(-2). Which is smaller: -137/5 or t?
-137/5
Suppose -4 = 4*v, -4*v + 0*v - 179 = 5*z. Is z greater than or equal to -35?
True
Let s = 8 + 20. Suppose -s*r + 30*r = 8. Which is greater: r or 33/8?
33/8
Let m be 9 - 2 - (-2 - -3). Suppose -6*a = 2*a - 32. Suppose -15 = -3*f + 2*f - 4*h, -26 = -a*f + h. Is m != f?
True
Let b = -75442358054587/181440 - -26611379177/64. Let x = b - 139233/28. Let f = x + -4/81. Which is greater: -2 or f?
f
Let z = -1 + 1. Let f(g) = -9*g + 256. Let y be f(29). Is z equal to y?
False
Let x be (-45)/(-30)*(1 + -3). Are 4 and x unequal?
True
Let a be (-31)/62 + 22/28. Are 46 and a equal?
False
Suppose 5*p = u + 13, -5*p - 2*u + 6 = 2. Which is bigger: p or -3/4?
p
Let u = -4.89 + 7.53. Which is bigger: u or 1/4?
u
Let v be ((-16)/72 - 65767/63) + 2. Let l = v + 1044. Which is smaller: 3 or l?
l
Suppose 1552 = -4*l - 3*w - 2*w, w + 388 = -l. Let c be l/(-60) - 8/12. Which is smaller: c or 6?
c
Suppose 0 = -4*f - 2*a - 2*a + 8, 2*a + 4 = 2*f. Suppose f*c - c = -8. Which is smaller: -17/2 or c?
-17/2
Suppose -2*f + 30 = -14. Let y be f - (-1 + (-12)/(-4)). Let b = y + -17. Which is bigger: b or 0.1?
b
Suppose 2*k = -i + 4 + 5, 20 = 4*k. Suppose 3*u = -2*w + 150, -3*u + 341 = 5*w - 4*u. Let c = 67 - w. Which is greater: i or c?
i
Let c = -10/13 + 73/78. Which is smaller: c or 0.1?
0.1
Let w be 0 + (132/(-95))/6. Let d = w - 7/19. Which is bigger: d or -0.1?
-0.1
Let b = 80 + -56. Suppose b = u - 5*u. Let t(l) = -2*l**2 + 5*l - 3. Let h be t(3). Is h at most as big as u?
True
Let l(o) = -213*o**2 - o + 5. Let b be l(2). Is b greater than or equal to -848?
False
Suppose 494*y - 486*y - 8 = 0. Which is smaller: y or -2/1509?
-2/1509
Suppose -9 - 4 = -4*l + 5*i, -5*l + 2*i = 5. Let z be (-3 + 2)*9/l. Suppose -4*s - 13 = 5*b, 3*s - 1 = 4*b - z. Which is smaller: b or -1/3?
b
Let t be (-1*(2 - -8))/2. Suppose w + 2*b - 7 = 0, 3*b + 0*b = 15. Is t greater than or equal to w?
False
Let c = 0.07 + -74.07. Let r = 73 + c. Is -2/151 != r?
True
Let n be (-8)/4 + 1 - 13. Let m = n - -13. Let h be (m - 0)/(12/(-24)). Which is smaller: 6/11 or h?
6/11
Let j = 92.35 - -1.65. Let w = -92 + j. Let g be 2/8 + 19/(-12). Which is smaller: g or w?
g
Let m be (-5 - (-88)/16)/(4/(-8)). Is m less than -2/155?
True
Let n be ((-2)/6 - 0) + 4180/(-330). Which is bigger: -15 or n?
n
Let q = 26 - 15. Suppose 0 = 3*k - 15, 3*k = -g + k + q. Let f be ((-3)/5)/(6/4). Which is smaller: f or g?
f
Let q = -89 - 23. Let p = q + 115. Which is bigger: 0.9 or p?
p
Let b be -7*1/(-1) - 5. Suppose -4*z = 2*i - 10, 3*i = -1 - 2. Is b less than z?
True
Let f(c) = c - 6. Let o be f(5). Let m = 0.932 - -0.008. Let j = 1 - m. Which is smaller: j or o?
o
Let r = 73 - 104. Let a = r + 30.999. Is a > 1?
False
Let x(h) = 3*h - 4. Let c be x(7). Let o(v) = v**2 - 35*v + 95. Let y be o(32). Is c at most as big as y?
False
Let l = 0.141 - 73.141. Let i = l - -72. Is 0.17 smaller than i?
False
Let l = 1 - 6. Let w = -3 - l. Let q be -5 + (-4 - 4 - -14). Does w = q?
False
Let b = 9 + -5. Suppose 0*q - b*q = 4. Let j = -2/79 - 233/158. Which is smaller: q or j?
j
Let u(j) = j**2 + 7*j + 5. Let x be u(-5). Let a = -2 + x. Let y be (-1)/5 + a/40. Is -1 less than y?
True
Let d = -84 - -84. Suppose 2*h + 94 = -3*x - 2*h, -2*x + 2*h - 86 = 0. Let o be 3/6*4/x. Which is bigger: d or o?
d
Suppose 0 = 4*p + 26*p - 4*p. Let i = -133037/420 - -2216/7. Let f = -7/12 - i. Which is bigger: p or f?
p
Let i be (-9 + (-81)/(-9))/(-4). Which is smaller: 12/23 or i?
i
Let i = -98 - -101. Suppose i*b = -16 + 16. Is 2/121 at least b?
True
Let y(j) = j**3 - 17*j**2 + 16*j + 12. Suppose -5*q + 75 = -u, q - 4*u + 4 = -0*u. Let f be y(q). Suppose f = -4*h - 0*h. Is -2 greater than h?
True
Suppose -w + 36 = -2*j - 0*w, -3*w + 88 = -5*j. Let i = j - -8. Let y be (-1 + 0)*i/(-312). Is -1 less than y?
True
Let u = -112.94 - -112. Let s = u + 0.14. Let b = -1.2 + s. Which is smaller: -1/2 or b?
b
Let y be 2344/10 - (-87)/145. Which is greater: y or 236?
236
Let t be ((-7)/2)/(1/(-2)). Suppose 0 = 26*m - 40*m + 196. Let k = m - t. Is k >= 5?
True
Let x(d) = d**2 - 11*d - 50. Let w be x(15). Let r(u) = u**3 - 11*u**2 + 10*u - 3. Let k be r(w). Do k and -3 have different values?
False
Suppose 4*w = 3*t - 171, 5*t = 3*w + 36 + 106. Let k be 16/3*w/26. Does -7 = k?
False
Let d be 3/(-2)*32/(-12). Let r be 26/(d*(-5)/(-10)). Is 11 at most r?
True
Suppose 14 = 3*k - 112. Suppose k + 12 = 2*l. Let r = l + -4. Is 23 at least r?
True
Let w = 1.14 + 7.86. Are w and 19 nonequal?
True
Let i = 161/429 - 3/11. Let w = -66 + 66. Is i less than w?
False
Let n be 3/27 - (8554/(-18))/7. Is n <= 68?
True
Suppose -y + 15 + 29 = 0. Let l = y - 39. Does l = 3?
False
Let o = 371122351/805256 - -1/100657. Let c = o + -462. Suppose -2*a = -7 + 9. Do c and a have the same value?
False
Let o = -0.5325 - 0.3165. Is o at least as big as -2?
True
Let f = 191/4 - 48. Let d = -4/133 + -167/133. Which is smaller: f or d?
d
Let d = -12.3 + -52.7. Let a = 63 + d. Are a and 18 equal?
False
Let z = -208643/65 - -3210. Let s = 18/65 + z. Is 1 at most s?
False
Let y be 6 - (0 - 66 - 9). Which is smaller: y or 78?
78
Suppose 5*p - w - 26 = 0, 4*w + 3 = -1. Suppose -p*n + 8 = -4*h - 3, -5*h = -5. Which is smaller: n or -1/7?
-1/7
Let c be 19 + (-5 - (-3 + -5)). Is 24 <= c?
False
Suppose 2*t = -q - 2*t + 12, 0 = -2*q + 3*t - 9. Is -5/67 less than q?
True
Suppose -2*h + 2*u = -10, -10*h - 4*u - 6 = -7*h. Let j be h*(2 + -1)*(-25)/(-50). Which is smaller: -5 or j?
-5
Let b be (-12)/(-165)*325/(-13). Which is greater: -2 or b?
b
Let b = -50.108 - -0.108. Let s = b + 45. Is s smaller than 2/13?
True
Let j = 555 - 555.2. Which is bigger: j or 3/118?
3/118
Let m = -549 - -542. Is -63/10 at least m?
True
Let o = 2389/4 - 601. Let y = 1778611/424044 + 1/23558. Let g = y + o. Which is smaller: 1 or g?
g
Let d be (-6 - (-8 - 0))/(1*-1). Let q = -36 + 31. Is d at least q?
True
Let m = 304.073 - 304. Which is smaller: m or 1?
m
Let y = -3 - -10. Suppose 3*l 