 a be 6/9*(6 - x). Are a and l equal?
False
Let q = 0.4 + -1.4. Suppose 5*g - 15*g = -1050. Let u = -102 + g. Is u <= q?
False
Let s = 46 - 38. Let p be 2 + s/(-3) - 8/(-12). Which is smaller: -2/117 or p?
-2/117
Let v be ((-380)/285)/((-37)/(-12) - 3). Which is greater: v or 378?
378
Suppose 17*u + 30 = -4. Let x be (18/(-15))/(u/20). Let w be ((-4)/6)/(5/(-90)). Is x at most w?
True
Let m(t) = -237 + t + 5*t + 61 - t + 0*t. Let d be m(35). Do -11/6 and d have different values?
True
Let z(q) = 13*q + 2145. Let n be z(18). Which is bigger: 2381 or n?
2381
Let q(h) = 12*h**2 - 7. Suppose 10*t + 20 = -20. Let o be q(t). Let r be (-6)/9 - o/(-210). Is 0 at most r?
True
Suppose 9*m = m + 48. Let j = -2 + m. Suppose -2*a + 36 = -j*a. Which is smaller: a or -21?
-21
Let z be 80/(-100) + 9/5. Is 136/117 > z?
True
Let d(z) = -z**2 - 7*z + 65. Let q be d(7). Is 1/8 not equal to q?
True
Suppose 21*d - 166732 = -52*d. Are d and 2283 unequal?
True
Let p = -497.7 + 553. Let q = p - 46. Let z = q + -9. Do -3 and z have different values?
True
Let o(y) = y**2 - 21*y + 44. Let u(r) = -r + 23. Let w be u(4). Let x be o(w). Suppose x*g - 101 = 31. Which is smaller: 24 or g?
g
Let g be (0/(-3))/1 - (-42)/(-3). Let d be (-7)/(g/108)*-1. Is d greater than -56?
True
Let f be (-6)/(-4)*((-70)/(-1498))/(10/4). Which is bigger: f or -0.4?
f
Let h = 1415/14 - 201/2. Let g be 21/(-63) - (-1000)/966. Let b = g - h. Is -1 greater than or equal to b?
False
Let v = 17763 + -18397. Which is greater: v or -632?
-632
Let r be (-248)/(-31) - (-242)/(-31). Let m = 28 - 14. Suppose 0 = 15*g - m*g - 1. Which is bigger: r or g?
g
Suppose -816 = -13*v + 30*v. Let k = v + 49. Is k greater than or equal to -1/178?
True
Let t(q) = q + 13. Let r(l) = -l**3 - 8*l**2 - 5*l + 16. Let u be r(-7). Suppose 6 = -z - u*n, -2*n = -5*n + 12. Let v be t(z). Which is bigger: -7 or v?
v
Let t(z) = -z**3 + 4*z**2 - 13*z - 33. Let j be t(-6). Is 416 at most j?
False
Let q = -25 - -11. Let z = 143221/9 + -15913. Is q <= z?
True
Let f = 5.15 + -6.5. Let v = -86 + 85.55. Let n = v - f. Which is smaller: -1 or n?
-1
Let k(v) = -v**2 + 6*v - 3. Let s(g) = -6*g - 10. Let d be s(-2). Let h be k(d). Suppose h*m = -m + m. Which is greater: m or 3/8?
3/8
Let m = -418.6 - -417.6. Is 35.4 at most as big as m?
False
Let l(j) = -4*j**2 + 201*j - 616. Let h be l(81). Is -10579 equal to h?
True
Let h be (-34)/8 - (-12)/48 - 63. Let m = h + 95. Suppose -7*d = 105 + m. Which is smaller: d or -1?
d
Let u = -265901425/286832 - 15316/2561. Let d = -933 - u. Which is smaller: d or 0?
0
Let u = -4.9 - -5. Let b be 2/13 + 101138/183209. Which is smaller: u or b?
u
Let k(x) = 2*x**3 - 3*x**2 + 10*x - 7. Let s be k(3). Suppose -5*q + 3*v + s = 8*v, -6 = -q - 3*v. Suppose -140 = q*n + 148. Which is greater: -23 or n?
-23
Let q = 0.307 + -694.307. Let b = q - -695. Which is smaller: 190 or b?
b
Suppose -77*h - 952 = 94*h - 188*h. Which is greater: -23 or h?
h
Let o be (33/(-42) - -1)*(-384)/(-288). Which is smaller: o or -20.11?
-20.11
Let w(g) = -g**3 - 3*g**2 - 3*g - 3. Let o be w(-3). Let m = -251 + 487/2. Let f = m + o. Do f and -2/3 have the same value?
False
Let x = 8.05302 - 0.05302. Is -9.9 greater than or equal to x?
False
Suppose 30 = -33*z + 39*z. Suppose 5*h - 24 = z*s + 6, 4*h = -3*s - 11. Is -156 bigger than h?
False
Let s = -2022 + 384179/190. Which is smaller: 0 or s?
s
Let z = 9016 + -9017. Is z >= -272/169?
True
Let h = 1.009 + -0.596. Let f = h + -9.713. Is f less than or equal to -0.1?
True
Let x = -19731 - -19753. Do x and 1.98 have the same value?
False
Suppose 54 = -3*o + 18. Let b be 1/(-5)*o/(-372). Suppose -157*s - 6 = -151*s. Which is greater: s or b?
b
Let y = -2112.8 + 2107.8. Which is smaller: 439 or y?
y
Let c = -11490 + 11490. Is 3/1922 > c?
True
Let x = -0.3743 - 5.6257. Is x at most as big as -40?
False
Let n = 11549 + -14125. Which is bigger: -2572 or n?
-2572
Suppose 43*z - 39*z + 4 = 0. Let x = 6/5 + z. Let r be (2/(-8))/((-3)/9). Is x > r?
False
Suppose 3*s = -3, 3*i = s - 3*s + 70. Suppose -i = -3*u - 3*m, -4*u - 3*m - 2 = -31. Suppose 1 = -u*b + 4*r + 6, 5*b - 5 = 5*r. Is -1 smaller than b?
True
Let v be ((-5)/(-1))/(2/(-856)). Let k be (-1)/((-1)/4 + (-525)/v). Let d = k + -1715/8. Which is bigger: d or 0.1?
0.1
Let i = -84 + -66. Let h = i - -149.7. Let z(u) = -u + 3. Let o be z(0). Is h smaller than o?
True
Let j be ((-12)/(-9))/4*(-32 + 29). Is 2/6181 <= j?
False
Let a = -2.7 + -170.3. Let w = -152 - a. Which is smaller: -2/5 or w?
-2/5
Let o = 485 + -481. Let i be o/10*450/10. Is 13 bigger than i?
False
Suppose -g = -3*b + 11 + 52, -b - 3*g = -11. Let f be -30*(-4)/6 + 0/(-3). Is b less than or equal to f?
True
Let h = -600 - -579. Let x be (-9)/9*h/(-9). Which is smaller: x or 23?
x
Let c be (-1)/(1/82*(-26)/117). Suppose -c = 14*j - 1531. Are 83 and j equal?
True
Let c be 5/4 + (-5250)/(-120). Let r be ((-6)/(26*c))/1. Which is smaller: r or -1?
-1
Let v be ((-68)/(-6))/2*149580/(-1108). Is v at most -768?
False
Suppose -3*m + 0*m = 9. Let l be ((-4)/(-9))/(m/(-117)). Suppose -8748 = 65*b - 397*b - 154*b. Is b >= l?
True
Let t be 42/546 + (-21876)/(-39). Which is smaller: t or 563?
t
Let j be (-2)/1 + 4 + -13. Suppose 34*t - 1320 = 154*t. Do t and j have the same value?
True
Let a(y) = 47*y**2 - 12*y + 221. Let w be a(8). Is w greater than 3134?
False
Let q be ((-3145)/4390)/(7/(-29792)). Let p = q - 3049. Is p at most 1?
True
Let l be -9 - (2/21 + 196650/(-21525)). Let n be ((-2)/6)/((-9)/(-27)). Is l >= n?
True
Suppose 4*t - 18*t = -8309 + 3675. Is t less than -4?
False
Let u be (24/21)/((-66)/77) - (-3712)/2694. Do u and -1 have the same value?
False
Let d be 3 - 4 - 1 - -53. Suppose 5*i = 9 + d. Let t be 4/i + 16/(-102). Is t < 0?
False
Let u(a) = -3*a**2 - 176*a + 240. Let x be u(-60). Is x less than -46/633?
False
Suppose 0 = 3*d + 28 - 1. Let x be ((-15)/d - 2)*-3. Which is greater: x or -2/193?
x
Suppose 11*y - 21*y = -113 + 333. Which is smaller: y or 38?
y
Let a = -1049 + 1052. Does 846 = a?
False
Suppose 4*r + 5*j = 38, 0 = -0*r + 4*r - j - 26. Let c be (16/(-5))/(r/((-315)/(-18))). Does c = 3.5?
False
Let u = 20/3469 - 156118/25875271. Which is greater: 1 or u?
1
Suppose 0 = 3*q - f - 272, -7*f + 11*f = -q + 82. Is q > -3?
True
Let y be 1/(-2) + (-15)/(-30). Let o(i) = i**3 - 2*i**2 - i + 3. Let x be o(2). Let c be 40/(-705)*(x + 1/2). Which is greater: c or y?
y
Let x = 16 - -21. Let s be -2*x/(0 + 1). Let u = s + 69. Are u and -0.6 non-equal?
True
Let x be (-2)/(-10) - ((-158)/10 - 3). Suppose -x*i = -98 - 111. Which is greater: i or 15?
15
Let q be 0/17 - 1*-5. Suppose -u - 2*k = -9, -q*u + k + 27 = -2*u. Let r be ((-23)/(-4))/(u/36). Which is smaller: r or 24?
r
Let x = -376 - -402. Suppose 9*j + 305 = x. Which is smaller: j or -38?
-38
Let q = 77.53 - 77.93. Which is bigger: q or 0.28?
0.28
Let r be (-3 + 1)*(7 + -3 + -54). Let q = -180 + r. Is q less than -81?
False
Let n be (2/(-6))/(528720/(-105750) - -5). Which is smaller: -1173 or n?
n
Let g(d) = d**2 + 33*d + 162. Let j be g(-27). Let o = -10 + 9. Let v be 8/1140*3*o. Which is smaller: v or j?
v
Suppose 8*l + 130 = 4*l + 5*c, 4*c = 3*l + 98. Let t be (3/5)/((-6)/l). Suppose 0 = -y + t*f - 14, -2*y + 0*f - 31 = -3*f. Which is bigger: y or -21?
y
Let b = -1466.8 - -1356. Let n = -111 - b. Which is smaller: 153 or n?
n
Let s = -15516 + 16460. Is -11 bigger than s?
False
Let a = 0.0251 - 286.0251. Let n = 287 + a. Which is smaller: n or -0.033?
-0.033
Let z = 2.77 - 117.77. Let j = z - -149.9. Let s = -35 + j. Does s = -3?
False
Let h = -0.71 - -1.71. Suppose 669 = -3*q + 138. Let o = q + 4074/23. Do o and h have different values?
True
Let d = 1305/7 + -187. Let z = 254.9 + -254. Which is bigger: d or z?
z
Suppose 3*m - 10*m = -m. Suppose 0*v - 3*v - 3*i = m, -3*i = 0. Suppose v = -10*q + 15*q + 5. Is 1.16 less than q?
False
Let k(n) = -5*n**2 - 31*n + 26. Let u be k(-7). Which is smaller: u or -84/137?
u
Let z(r) = r**3 - 11*r**2 + 37*r - 35. Let m be z(12). Which is smaller: m or 551?
551
Let z = 2150429/30030 + -2508/35. Which is smaller: 1 or z?
z
Let j = -2062 + 1629. Do -431 and j have the same value?
False
Let m = -121.5 + 137. Let n = m + -16.2. Which is greater: n or 0?
0
Let u = 1759 - 1760. Which is