53 or y?
y
Suppose -123 + 138 = y. Suppose 27 - 87 = -y*h. Is h at most 31/6?
True
Let u = -31 - -29. Let x be 252/378 - (2 + 16/(-21)). Is u <= x?
True
Suppose -2 = w - 7. Let g(u) = u**2 + 18*u - 195. Let a be g(-27). Suppose s - 9 = t, 0 = w*s - 4*t - a + 6. Is 4 at least s?
False
Let u be -14 - 455/(-26) - -4*(-2)/4. Which is bigger: 179 or u?
179
Suppose -17*r + 2*y + 112 = -19*r, 4*y = 0. Which is smaller: r or -65?
-65
Let p = 527 + -527. Suppose 3*a + 4*z - 41 + 57 = p, 3*a - z = 4. Is 2/2393 >= a?
True
Let i = 820619/9 + -91303. Is i > -122?
False
Let f = 1.5 + 30.5. Let w = f - 10. Is w != 0.1?
True
Let y = 135/44 + -163/11. Is -11 < y?
False
Let y be (-5)/(775/10) - 1708630/434. Is -3937 >= y?
True
Let x(p) = 2*p**2 - 2*p - 6. Let v be x(-2). Let a be v/6*(-10)/4*-22. Is a greater than or equal to 55?
True
Suppose -1 = 2*l - 3*l. Let j = 7253923/287 + -25275. Which is bigger: j or l?
l
Let d be 7 + (-190)/19 + 243. Are 243 and d nonequal?
True
Suppose 4*k - 8*k - 4 = 0. Let z = 247/98 + -5/2. Which is bigger: k or z?
z
Let u = 6.62 - 2.62. Suppose 5 - 10 = -5*x. Suppose 7 = 2*i + x. Is i >= u?
False
Let m = 570.6 - 456.6. Let h = 18 - 17. Which is smaller: m or h?
h
Let s be (23/2)/(4 + 238/(-21)). Which is greater: s or -2?
s
Let h = 20.49 + -0.49. Let d = 1.69 - -18.31. Let j = d - h. Is -8/9 at least as big as j?
False
Let o be ((-14)/(-245))/(116/20 - 3). Is o equal to 1/2?
False
Suppose 2*t = 3*t + 23. Let d(c) = -c**2 - 22*c + 25. Let f be d(t). Let o be 24/180*(-7 + f). Which is smaller: 0.1 or o?
o
Let w = 24 + -48. Let r(o) = -3*o**2 - 6*o + 17. Let m be r(3). Which is smaller: w or m?
m
Let h be (221/(-52))/(2 + (-18)/8). Suppose -11*r + 38 = -h. Which is bigger: -0.15 or r?
r
Suppose 4*o - 4*s = 1016, -4*o + 21*s + 1011 = 16*s. Is o != 261?
True
Let h(k) = 9*k**2 - 96*k - 143. Let a be h(12). Is 4/21889 smaller than a?
True
Let a = -69 + 132. Let s = 60 - a. Which is smaller: s or 3.9?
s
Let g = 81 - 418. Let j = g - -337.1. Which is bigger: 17 or j?
17
Let z be -5 + 4*(0 + (-294)/(-48)). Let x = -253 + 274. Which is smaller: x or z?
z
Let v = -1.301 - 583.099. Let q = 587 + v. Let l be (-4)/(-10) - (-13)/(-20). Is l > q?
False
Let z = 17586/10865 - 416/265. Suppose q = -q - 2. Which is greater: q or z?
z
Let q = -47687/3 + 17101. Which is smaller: 1204 or q?
1204
Let v be (-362)/(-3) - (-55)/(-33). Which is smaller: 127 or v?
v
Let v be (-665*3/81)/(2/(-4)). Which is smaller: v or 48?
48
Let k = 0.066 - -32.934. Let m = k - 39. Which is smaller: -11 or m?
-11
Let o = -1144.866 - -1144. Let n = 0.966 + o. Let a = 0.115 - -50.885. Is n less than a?
True
Suppose -2*o + n = -0*n + 23, -4*o - 45 = -n. Let c be ((-8)/(-14) - 2)/(o/77). Suppose c*x = x - 243. Which is greater: 2 or x?
2
Let u(g) = 57*g - 2. Let i be u(6). Suppose i = 20*q - 10*q. Let n be q - ((-2 - -6) + -3). Which is greater: 35 or n?
35
Let w(s) = 1236*s - 6344. Let d be w(5). Does -143 = d?
False
Suppose -2*q - 126 = -20*q. Let c(b) = b**3 - 8*b**2 + 7*b - 1. Let i be c(q). Which is greater: 1/132 or i?
1/132
Let m(z) = z**3 + 17*z**2 + 3*z + 34. Let j be m(-17). Let o = 24 + -21. Suppose o*d = -d + k - 68, 3*k + 36 = -3*d. Is d at least j?
True
Let r = 1014 + -1013. Is r greater than or equal to -2/2287?
True
Let y = -0.1811 + 0.0461. Let u = -0.045 - y. Is 4 at most as big as u?
False
Let g = -1.956 - -2.076. Do g and -0.4 have different values?
True
Suppose p - 15 = 4*w, -6*p - 3*w = -2*p - 41. Suppose -h + p = 3*d, 5*h + 0*d = -3*d + 67. Let n = 19 - 5. Are n and h non-equal?
False
Let r = -1581 - -886. Let q = r + 698. Which is bigger: q or 50?
50
Let b = 87.8 + -115.3. Let i = b - -27.4. Is 66/13 not equal to i?
True
Let s = -34525.0161 - -34523. Let i = s - -0.0161. Is i bigger than -35/2?
True
Let r = -0.066 - -42.066. Let q = r - 62. Let j = -20 - q. Which is smaller: 5 or j?
j
Let x = -505 + 530. Suppose 2*b + 10 = -2*n, 0 = -14*n + 9*n + 2*b - x. Which is bigger: 7 or n?
7
Let z(u) = u**3 + 3*u**2 + 128. Let m be z(0). Suppose -m = -27*y + 35*y. Which is bigger: y or -6?
-6
Let z be ((-104)/(-56) - 1)*-119. Let q be z/(-357) + (-412)/21. Let b be -1*(-1)/(1 + -2). Is q at least b?
False
Let m = -59/2 + 1005/34. Let x = 10.88 + -10.75. Is m at least as big as x?
False
Let x(z) = z**2 - 12*z + 46. Let q be x(7). Suppose -22*v + 1364 = -q*v. Is 123 less than v?
True
Let z = -0.511 + 0.294. Let x = z - 38.173. Let h = -0.39 - x. Which is greater: 2/3 or h?
h
Suppose -y + 0*y = -3*j - 15, -2*y + 10 = -2*j. Suppose 3*v - 2*o - 2 = 2*v, -5 = 3*v + 5*o. Let x be (-120)/28 - -4 - (v + 0). Is y at least x?
True
Suppose -5*j = -j + 4*r + 476, j = 2*r - 113. Let g be j/130*5/(-21). Let p = 1 - 2. Which is smaller: p or g?
p
Suppose 21 = -11*w - 15 + 14. Let f = 2648 + -108562/41. Do w and f have the same value?
False
Let q = -142595/42 - -21933/7. Let p = q + 259. Suppose 292*a - 271*a = -63. Which is smaller: a or p?
a
Let l be (-180775)/40 + (-195)/(-520). Which is bigger: -4520 or l?
l
Let j be (1442/(-4))/((-17)/10). Let b = j + -212. Suppose -397*g = -412*g + 832*g. Is b at most as big as g?
False
Let q = 464 - 2795/6. Let t(a) = -4*a**3 - 4*a**2 - 2*a + 1. Let b be t(-1). Suppose 2*d + 6 = -2*f, -5*d - f - b = 12. Is q < d?
False
Let w = -54727/87 - -629. Suppose z = -0*z. Is z greater than or equal to w?
True
Let g = 412 + -389. Suppose b + 9746 = g*b. Is 443 < b?
False
Let g be 4 + 5/(15/(-54))*(-8)/(-24). Is -95/37 less than or equal to g?
True
Let m = -0.1235 + -2.8765. Is -209 smaller than m?
True
Let w(t) = 5*t**3 + 16*t**2 + 6*t - 7. Let u be w(5). Let p = 1047 - u. Let d = 0.3 + 11.7. Is d < p?
False
Let s = 0.92 + -0.92. Let z be 4/18 - 88/72. Let t be z/(-3)*5/155. Is t > s?
True
Let h(q) = -q**2 - 10*q + 38. Let c be h(-13). Let o be (c/27*-3)/((-4)/(-12)). Is -56 < o?
True
Let c be ((-18)/(-4) + 0)*(-532)/(-399). Suppose x + 11 = -5*o, o + 5 = -c*x + 3*x. Is o less than or equal to -28?
False
Let x be 16/(-5)*(-121 + 141). Is x equal to -139?
False
Suppose 13 = -2*o + 4*z + 3, 3*z = 3*o + 30. Let k be (2/o*(-4 + -1))/(-54). Which is smaller: 1 or k?
k
Let c be -1 + (-8)/(-18)*3. Let h = -7156 - -6956.95. Let w = -199 - h. Is c > w?
True
Let q(t) = t**3 + 8*t**2 - 32*t + 15. Let c be q(-11). Let d(o) = 2*o**2 - 2*o - 2. Let b be d(c). Suppose k - 14 = m, 0 = -m + k + 2*k - b. Is m > -8?
False
Let j = -14420 - -14415. Which is smaller: -3016 or j?
-3016
Let w(i) = 168*i + 840. Let o be w(-5). Let k = 60 - 108. Is o greater than or equal to k?
True
Suppose -157*g - 39529 = -10170. Which is smaller: 3 or g?
g
Suppose 8*u - 3*u = 5*u + 13*u. Is -6/3373 at least u?
False
Let n = -358 - -358. Let d be (7/(-35 - n))/((-2)/4). Is d != -3/305?
True
Let j = 594 + -594. Which is bigger: 1/5088 or j?
1/5088
Let f = 865 + -39791/46. Let d = -59 + 58. Is f at most d?
False
Let r be (-145)/(-4) + -6 + 92/16. Let p = r + 20. Suppose h + x = 1 - 21, 0 = 3*h - x + p. Is 2 at least as big as h?
True
Let s = -4922 + 93548/19. Suppose 2 = -2*k + 2*g, -28*g - 13 = -5*k - 29*g. Do k and s have different values?
True
Let x(a) = -4*a - 88. Let m be x(13). Which is smaller: -134 or m?
m
Suppose 5*s - s + 1172 = 0. Let j be (-7 - 289) + (-80)/(-20). Which is smaller: s or j?
s
Let l be (-13191)/(-24264) + (-7)/14. Let y = 2/1011 - l. Suppose 2*w = 4*k + 4*w - 4, 3*w = 6. Is k at least y?
True
Let n(d) = -d**3 - 3*d**2 - 4*d. Let q be n(-2). Suppose -q*a = -v + 1, 0*v - 2*a = 2*v - 2. Let i = 865 + -55359/64. Which is bigger: i or v?
v
Let o = -1683/13 - -1779/13. Let s be 3/5 - 1864/(-520). Let z = s - o. Which is smaller: z or -3?
z
Let x(k) = -4*k**3 + 3*k**2 - 28*k - 70. Let z be x(-12). Is z >= 7610?
True
Suppose 2*s - 3*r - 29 = 1, -3*s - 5*r = -178. Suppose 5*g = -2*x + 199, 3*g - 109 = 5*x - x. Which is bigger: s or g?
g
Suppose 0*f + m + 20 = 4*f, -3*m = -3*f + 15. Let c be -27*(9/(-6))/(27/18). Suppose -3*y - c = f*u - 4*y, -5*u - 35 = -5*y. Does -3 = u?
False
Let g = 0.235 - -168.765. Let z = g + -168.1. Do z and 1.5 have different values?
True
Let y = 77 + 127. Is 207 bigger than y?
True
Let m(h) = -3*h + 54. Let j be m(17). Suppose j*v = -10*v + 13. Let b = -384 + 13438/35. Is b greater than v?
False
Let c = -3 + 3. Let s = -0.00638 + -140.99362. Is c