True
Let o = -106 + 108. Suppose -3*m + o = -z, 7*z - 2*z + 4*m = 28. Does z = 8/3?
False
Suppose -2*o = -0*o + 26. Suppose 16 = -7*u + 4*u + x, -3*u = -3*x + 12. Let p = o - u. Does -8 = p?
False
Suppose 27*a + 24 = 33*a. Let k(o) = o + 4. Let p be k(5). Suppose -2*t - j + 5*j = -6, -5*t + 4*j = -p. Is a greater than or equal to t?
True
Let y = -26.65 + 26.65. Which is bigger: 26.58 or y?
26.58
Suppose -4*j - 4 = -2*q, -5*j = -q - 0*q + 11. Let g = 571 - 639. Let r be (-2)/8 - g/400*1. Is r less than or equal to q?
False
Let r(m) = 6*m**2 + 3*m + 1. Let g be r(-2). Let o = 117 - g. Suppose -93*t - 120 = -o*t. Which is smaller: 23 or t?
23
Let w be 9*(0 + 2/38). Let j(d) = d**2 + 25*d - 900. Let b be j(-45). Which is smaller: w or b?
b
Let v = 2286 - 2382. Which is smaller: -3 or v?
v
Suppose -3*b - 6329 = -135*g + 136*g, 3*b + 2*g = -6334. Is -2108 less than or equal to b?
True
Let p = -1576 - 301. Which is bigger: p or -1879?
p
Let c be 8 + 4/((-16)/12). Suppose 8 = c*y - 3*y. Suppose 0 = -a + y*a + 3. Which is greater: a or -1/66?
-1/66
Let a = -43101649/28148 + 6/7037. Let v = a + 1521. Which is smaller: -10 or v?
v
Let q be ((-3)/(-1))/(3/433 + 0). Let m = q - 432. Is m greater than or equal to 7/33?
True
Let w = 6.59 - 6.737. Is w < 2/9?
True
Let j = 25.1 + -23.43. Let p = -3467.4 - -3469. Let u = j - p. Is u at least as big as -0.3?
True
Let g(t) = -2*t**3 + 5*t**2 + 38*t - 530. Let b be g(11). Is b at most -2167?
True
Suppose 210*b - 205*b = a - 13, -5*a + 37 = 3*b. Is 42/499 less than or equal to b?
False
Let x(i) = -2*i**3 - 34*i**2 - 41*i - 92. Let j be x(-16). Is 254/5 < j?
True
Let s(l) = 931*l + 1054. Let k be s(-3). Is k bigger than -1739?
False
Let p = -4319/1916 + 2/479. Let r(o) = o**3 - 14*o**2. Let u be r(14). Suppose u = 3*x - z - 0*z + 1, -3*x = -2*z - 1. Is p at most as big as x?
True
Let b(k) = -k**2 + 2*k + 3. Let o be b(3). Let a = 301125/486968 - -39/16792. Is o > a?
False
Let d = -130 - -88. Let k = 52 + d. Let u = k + 2. Which is smaller: -0.2 or u?
-0.2
Let j = 235 + -146. Let q = 710 - 622. Which is smaller: j or q?
q
Let u(s) = -s**2 - s + 6. Let h be u(-5). Let v be -3 - ((-2)/(4/h) - 0). Let w be (36/(-20))/(3*1/v). Is w at least 0.1?
True
Let i = -2.535 - 0.245. Let z = -9 - -11.8. Let m = i + z. Do m and -1/4 have the same value?
False
Let u = -0.0497 - 228.9503. Let i = 229.01 + u. Which is smaller: i or -7?
-7
Let r = -21551 + 21569. Are r and -0.041 unequal?
True
Let m = -285280 - -4736503838/16603. Which is bigger: 1 or m?
1
Let m(p) = -p**3 + 34*p**2 + 38*p - 102. Let b be m(35). Suppose b*h = -3*g + 8 - 44, -3*h - 2*g = 38. Which is smaller: -15 or h?
-15
Suppose 9*d + 1246 = 49. Let m = 110 + d. Which is greater: m or 0?
0
Suppose -10*c + 12*c + 2*a = -8, 2*c = 5*a + 20. Is 9/137 less than or equal to c?
False
Let n = -2.2 - -1.2. Let z = -15.78 + 15.48. Is n greater than or equal to z?
False
Suppose -35*s + 21 = -28*s. Suppose 29 = 4*m + 5*r, -6*m + 19 = -2*m + s*r. Do 14/17 and m have different values?
True
Let p = 14 + 5. Suppose 33*y - p*y + 42 = 0. Which is bigger: y or -20/13?
-20/13
Let m(z) = 1084*z + 14053. Let c be m(-24). Is c at least 0?
False
Suppose 3*m + 82 = -5*k + 2*m, -3*k + m = 54. Suppose -45 = 2*u + 5*p - 107, 21 = u + 5*p. Let t = u + k. Is 25 <= t?
False
Let o(l) = l**3 + 3*l**2 - 12*l - 11. Let g be o(-7). Let v = 129 + g. Is -7 <= v?
True
Let s(i) = -18*i - 882. Let c be s(-49). Which is smaller: c or -2/1043?
-2/1043
Let k = 0.29 + -0.19. Let b = 2427 - 2152. Which is smaller: k or b?
k
Let d = 124 - -166. Let c = d + -579/2. Which is bigger: -8 or c?
c
Let f be 0 - (-126886)/120 - 26/195. Is 1057 bigger than f?
False
Let y be 4/(-176)*-4 - (-53466)/(-66). Is y bigger than -810?
False
Let m(x) = x + 7. Let l(v) = -2*v**3 - 15*v**2 - 6*v - 5. Let z be l(-7). Let u be m(z). Are -4 and u nonequal?
True
Let p = -1913 - -2048.3. Let i = 134 - p. Let y = i + 0.3. Is -70 equal to y?
False
Let n = -7 - -10. Let b be (-3)/21 - n/(-70). Let a = 70 + -71. Is a at most as big as b?
True
Suppose 16503 = -13*i + 130934 + 13138. Which is greater: i or 9815?
9815
Let k = -71 + 78. Suppose k*h + 330 = -4*h. Let j be h/(-4)*(0 + (-1 - -3)). Do j and 15 have the same value?
True
Let n = 3.8102 - -25.3288. Let a = -31.12 + n. Let u = -0.019 + a. Which is smaller: u or -10?
-10
Let d = 51791832/1415 - 36602. Is d at most as big as 1?
True
Let w = -51252/185 - -1381/5. Which is smaller: w or -1?
-1
Let w = -0.0017 - 0.1209. Is 0.2 bigger than w?
True
Suppose 14*o = 11*o + 78. Let z = -24 + o. Let r be (z/(-6))/(29/18). Are r and 0 equal?
False
Let p be (-1280)/1600 + (-1908)/(-5). Which is bigger: 382 or p?
382
Suppose 5*k + 115 = -5*p, 138*p + 38 = -k + 142*p. Which is smaller: k or -36?
-36
Let o(k) = 2*k - 3. Let b be o(3). Let j be -12*13*((-481)/(-494) + -1). Do b and j have the same value?
False
Let w = 394.858 + -394. Let z = 0.142 + w. Is z at most -6?
False
Let w be (-5)/(-4)*-1 - (377/(-52) + 7). Is w bigger than -6/25?
False
Suppose 4*w + 3*t = 2*t + 28, 0 = -2*w - 2*t + 8. Suppose 2*n = w, 15*n + 45 = -i + 18*n. Are i and -29 unequal?
True
Let x = -145 + 162. Suppose -352 = -x*p + p. Suppose p*w - 27*w = 110. Are w and -21 non-equal?
True
Let a = -27902 + 27903. Are 37/557 and a nonequal?
True
Let a = 8.3841 - 0.0441. Let v = a + 3.66. Is v at least 8?
True
Suppose l = -3*m - 37180, -47315 - 14665 = 5*m + 5*l. Is m greater than -12393?
True
Let f(u) = -u - 4. Let y be 4/(-26) + 126/(-26). Let h be f(y). Let k = 0.52 + -0.74. Is h smaller than k?
False
Suppose -q - 49 = -l + 2*q, 0 = -l + 4*q + 51. Suppose 40*t - l*t = 0. Is t at most as big as 1/67?
True
Suppose 0 = -l + 3*q - 27, 4*l + 2*q + 3*q = -40. Let p be (-6)/14 + (-20016)/(-56)*1. Let g = p + -373. Which is smaller: g or l?
g
Let u = -83 - -78. Let m(b) = 3*b**2 + 14*b + 8. Let r be m(u). Suppose 0 = 5*x + r + 7, 3*x = -2*i - 14. Which is smaller: i or -6/5?
-6/5
Suppose -903*w + 838*w - 7475 = 0. Are -131 and w equal?
False
Let i(m) = m**3 - m**2 - 3*m + 3. Let g be i(2). Let k be (-3)/((-6)/(-21)*1/(-6)). Let p be (k/140)/(1 + (-10)/4). Is g < p?
False
Let z = 23 - 23. Let u = -5 + z. Suppose 0 = -6*f - 110 + 74. Which is smaller: f or u?
f
Let d = -284 - -319. Let f = -8.6 + -26.2. Let a = f + d. Is a at least as big as -3?
True
Let o be 38/6 - (-2)/(-6). Let b(z) = -22*z**2 + 66*z - 5. Let s be b(7). Let x = s - -625. Which is smaller: x or o?
x
Let x = 16112/41 - 393. Suppose 25*j = 22*j. Suppose 6 = -6*g - j. Which is smaller: x or g?
g
Suppose 0*j - 5*j + 140 = 0. Let a be 2/((-104)/j + 4). Which is bigger: 22 or a?
22
Suppose 1039*v + 804 = 1041*v - 2*a, 0 = -v - 2*a + 405. Is v smaller than 2008/5?
False
Let h = -292 + 291. Let y be ((-11)/(55/(-290)))/(-3 - h). Which is bigger: -18 or y?
-18
Let m = 57649 - 108322467/1879. Is m > 0?
True
Let r = 1318118779/6604 - 199594. Which is smaller: 1 or r?
r
Let s = -5.52 - 4.48. Which is bigger: s or -35?
s
Let i be ((-3)/9)/((-1)/147). Let b(f) = -9*f - 59. Let p(n) = -7*n - 58. Let z(t) = 3*b(t) - 4*p(t). Let h be z(-7). Is i bigger than h?
True
Let b(z) = -343*z + 685. Let u be b(2). Which is smaller: -3/3493 or u?
u
Suppose -t + 79 = 5*v - 2*t, 5*t = -v + 21. Suppose b + 24 = 6*b - s, -b + v = -3*s. Suppose -b*g + 12 = -4*a, -2*a + 4 = 2*g + 2. Is -10/7 smaller than a?
True
Let p = 441 - 440. Let l = -104 + 146. Let y = -17 + l. Is p at least y?
False
Let i be 6*(3/(-15) + 63741/30). Let o be i/(-68838) + (-2)/(-11). Which is bigger: 0 or o?
0
Let v = 988 - 1057. Let t = 0.3 + -0.4. Which is greater: t or v?
t
Let a(d) = 3*d - 28. Let t be a(11). Suppose 3*o = -t*s - 17, -22 = 2*s + o + 4*o. Is -5/11 >= s?
True
Let u(y) be the second derivative of y**4/12 + 17*y**3/6 + 11*y**2 + 53*y - 2. Let l be u(-17). Is l < 17?
False
Let o = 89 + -207. Let l be (25 + -24)/(1/(-117)). Is l smaller than o?
False
Let o be (5*90/(-1575))/((-2)/364). Are o and 250 non-equal?
True
Let z = -5652 - -2232538/395. Let t = -191/3 + 63. Is z greater than t?
True
Let x = -2/519 + 1052/3633. Let p be ((-112)/(-77))/(-8) - 7562/880. Let o = 75/8 + p. Is o != x?
True
Let w(p) be the second derivative of -p**4/12 + p**3/6 + 3*p**2 + 3*p. Let z be w(0). Suppose -q + k = -0*k + z, -4*q + 3*k - 21 