v**2 + 1. Let y be z(0). Let o be (1/3)/(-4 + 11997932/2999352). Let g = o + -1908. Is g less than or equal to y?
True
Let x(v) = v**2 + 9*v + 15. Let j be 8*(1 + (28/8)/(-7)). Let m = -3 - j. Let o be x(m). Which is bigger: 2/59 or o?
o
Let w = -561 - 1518. Which is smaller: -2082 or w?
-2082
Let u = -0.84 - 20.16. Let l = u + 6. Let o = -0.9 - -1. Is l >= o?
False
Let j(b) = 15*b - 5. Let q(r) = 8*r - 3. Let v(l) = 6*j(l) - 11*q(l). Let o be v(2). Suppose -d - 5*p = -2*d - 9, 2*d = 4*p. Which is smaller: o or d?
d
Let p(n) = 3*n**2 + 506*n - 1529. Let w be p(3). Is w greater than or equal to -5?
True
Let b = -0.02092 - 0.07908. Is b < -72?
False
Let j = -8 - -99. Let z be j/42 + (-2)/12. Let s be (-42)/8 + (-4 - 154/(-14)). Is s smaller than z?
True
Suppose -d + 48 = 2*d. Let u = -25 + 32. Let c be 2/u - (-110)/7. Is c at most as big as d?
True
Suppose 2*a + 19*t = 22*t + 1721, 3*a - 2610 = -5*t. Is a != 1?
True
Let v = -109.75 - -83.65. Is v at most 10/9?
True
Let b be (-3 - -2)*7/137151*231. Is 0 at most as big as b?
False
Suppose 9069 = 3*s + 9075. Does s = -795?
False
Suppose -4653 = -11*s + 2*s. Let w = -444 + s. Is 147/2 at least w?
True
Suppose 0 = 2*z - 91 + 231. Let f be 7/(z/408) - 1/5. Is -41 equal to f?
True
Let t(b) = -3*b**2 - 6*b + 2. Let w be 110/30 + (-2)/(-6). Let l be t(w). Do -69 and l have different values?
True
Let b be 0 + -7 - (-1053)/156. Which is greater: -3/1919 or b?
-3/1919
Suppose 2*k + 1898 = -5*w, -w - 385 = -0*k - 5*k. Let r = -261 - w. Let y = r - 83. Is 34 smaller than y?
True
Let o = 762 + -543.5. Let z = o - 219. Is z <= -0.8?
False
Let j = 313/7 - 45. Suppose 0 = -3*s - 2*c + 9, 2*s + 0*s + 2*c - 8 = 0. Is j greater than or equal to s?
False
Suppose -k - 6 = -10. Suppose -z = -5*g + 552, k*z = -11*g + 7*g + 456. Which is smaller: g or 110?
110
Suppose -770*x + 768*x = 2. Let b be x*438/(-4)*90/135. Are 73 and b non-equal?
False
Let p = -161/4 + 40. Let c(s) = 47*s - 133. Let f be c(3). Suppose -2*i + 5*m = 76, 7*i - 3*m = f*i + 27. Is i != p?
True
Let p = 0 - 1. Let n be (-1 + (-7)/(-5))/(589/(-1240)). Is p <= n?
True
Let j = -0.017 + -0.083. Let v = -545 + 446. Is v < j?
True
Let v be (332 - -3)*4*1/(-10). Let f = -151 - v. Do -15 and f have the same value?
False
Let n(k) = -2*k**3 + 41*k**2 - 29*k - 120. Let j be n(22). Is j greater than 1/2?
False
Suppose 18*o - 36 = 15*o. Suppose o*t = 6*t - 6. Let w be t/(-28)*24/(-114). Which is bigger: w or 0?
0
Let k(g) be the first derivative of -13*g**2 + 233*g + 168. Let a be k(9). Is -266 less than a?
True
Suppose 2*s = -x, 3*s = 4*x + 4*s + 14. Let p(b) = -3*b**2 - 8*b + 79. Let g be p(-8). Let t be (14/g - 79/(-350))*x. Is t != -1?
True
Suppose 13*f - 3*t = 8*f - 638, -4*t + 512 = -4*f. Do f and -123 have different values?
True
Let l(q) = q + 4. Let u be l(-4). Suppose 4403*a - 4407*a = -20. Suppose -5 = -a*n - u. Which is bigger: n or 2/7?
n
Let h = -1613 - -3881. Suppose 0 = -5*c - b + 8, 0 = 4*c - 5*c - 2*b + 7. Let v be c/(-2) + 1078/h. Is 1 less than or equal to v?
False
Let b = -433 + 430.27. Let u = b - -2.643. Does u = -0.2?
False
Suppose 3*o - 1096 = -o + 4*x, -4*o = 3*x - 1089. Suppose 0 = -2*k - 3*s + o - 37, 224 = 2*k - 3*s. Which is bigger: k or 114?
k
Let c be (-33)/77 - (-3)/7. Let v be c/5 - (-52)/(-7 - -3). Which is smaller: v or 1?
v
Suppose 4*h + 4*x + 0*x = 160, 0 = -3*h - x + 130. Let q = h - 41. Suppose q*v = -5*l - 25, 3*l + v = -2*l - 10. Is l less than -6/5?
False
Let g = -859574431/14118 - -60885. Which is bigger: g or -1?
g
Let j(o) = 2*o**3 - 5*o**3 - 4 + 20*o + 2*o**3 - 22*o. Let a be j(-2). Let x = -153 - -155. Is a at most x?
False
Let i = 213952 - 36158020/169. Is i > -2?
True
Suppose 165*c + 5*h + 38040 = 161*c, -2*c + 2*h = 19038. Is -9517 less than or equal to c?
True
Suppose 127*i + 21 = 134*i. Suppose -114 = 5*a - 5*v + 1511, -3*v = i*a + 963. Which is smaller: a or -1?
a
Let t = 43/6 + -23/3. Let z = 690 + -990. Is z > t?
False
Let d be (8 - 5)/(9/12) + -7. Are d and 424 nonequal?
True
Suppose -h + 0*h = 0, 2*h - 15 = 5*i. Let l be -3 - (14220/2372)/i - -1. Let t = l - -20758/1779. Is t > 13?
False
Let l = 2686 + -2689. Is l < -352?
False
Let h = 859/3 + -8420/33. Let t = 31 - h. Is 78 less than or equal to t?
False
Let n(t) = -3*t**2 + 3*t - 1. Let x = -40 - -41. Let w be n(x). Which is greater: w or 19?
19
Let i be -1 - -1 - -8 - 218. Is -2 != i?
True
Suppose -12*b = -10*b + t - 14386, -2*t + 35967 = 5*b. Which is bigger: b or 7196?
7196
Let b be (-32)/40 - (-3 - 123/(-15)). Which is smaller: -33 or b?
-33
Let n(f) = -2*f**2 + 14*f + 35. Let h be n(9). Are 389/2 and h equal?
False
Let k = 0.2 + -0.4. Let d = -115120 + 115115.7. Which is smaller: d or k?
d
Let k = 368.3 - 385. Let r = k - -16.8. Let d be 4/(-995)*50/(-20). Is d != r?
True
Let k = 21 + -39. Let t = -85 - -82. Let l = -1 - t. Which is smaller: k or l?
k
Suppose 109*w - 108*w = 6*u + 88, -4*w = 3*u - 352. Let k be (6/(-4))/(15/5). Is w <= k?
False
Let s be (-4)/26 + (-49)/((-724269)/(-57998448)). Let z = s - -3924. Do 1 and z have the same value?
False
Let p be 18/(-60) - 5978/100. Let h(o) = -7*o**3 - 2*o**2 + o + 2. Let l be h(2). Let b = p - l. Are b and -1 equal?
False
Let p be (-4242)/1111 + (4 - 2 - 6 - -2). Is -6 less than or equal to p?
True
Let t = -2.455 - -1.455. Which is greater: t or -3243?
t
Let j be 1/2*(-104 + -770). Is j less than -450?
False
Let g = -8964 - -8963.34. Which is greater: g or 0.038?
0.038
Suppose 75 = -v - 4*v. Let j = v - -73/4. Suppose 812*t - 30 = 842*t. Which is smaller: t or j?
t
Suppose 77*g = 76*g - 1. Let j be (-56)/(-56) + 68/(-46). Is g smaller than j?
True
Let h(l) be the first derivative of 13*l + 7*l + 0*l - 10 + l**2 - 5. Let d be h(-10). Do d and 3 have the same value?
False
Suppose 0 = 3*g - 5*g + 3*w + 18, 0 = -2*g - 5*w + 18. Suppose 6*c - g*c - 12 = 0. Let l(k) = -3*k + 18. Let z be l(8). Is c > z?
True
Let f be -1822 - 1 - -18*24/(-54). Is f bigger than -1832?
True
Suppose -81 = 26*y - 35*y. Let t be (y/1116)/((-39)/(-24)). Do t and 0 have different values?
True
Let d = 0.11 - -33.09. Let g = d - 33. Let l be 7 + 0 + (-3)/(12/136). Is g > l?
True
Let f be -2 + 4 + (-364)/178. Suppose -42 = 5*x - 17. Let h be 7 + -4 + x/(10/8). Which is smaller: f or h?
h
Let c = 378 - -780. Let m = c - 84532/73. Let f be (-2)/6 - (-8)/6. Which is bigger: m or f?
f
Let n be (1467258/1547)/(-39) - (1 - 16/14). Which is smaller: n or -24?
n
Let n = 3026.994 + -2987.9. Let m = n + -0.094. Let z = m - 39. Which is smaller: z or 4/13?
z
Let n(o) = o**3 - 4*o**2 + 4*o - 3. Let w be n(3). Let l = 522 - 227. Let z = l - 886/3. Which is bigger: z or w?
w
Suppose 8*g = 4*g + 3*g - 13. Which is smaller: g or -0.109?
g
Suppose 8*f - 27 + 1563 = 0. Let k = -194 - f. Let g = -669/20 - -129/4. Which is bigger: k or g?
g
Let g be (30/(-12) + -5)/(82/4). Suppose -4*j - 5*s + 115 - 109 = 0, -3*j - 1 = s. Which is smaller: j or g?
j
Let r = 5863 - 9653. Is -3788 > r?
True
Let p = -51 - -52. Let q be (-2 + -3)*p - -105. Let h = 38 - q. Which is greater: h or -63?
h
Let i = -21.5 + 6.5. Let a = -20 - i. Let o = -7 - a. Are o and -5 unequal?
True
Let h(z) = -z**2 - 88*z - 415. Let b be h(-83). Which is smaller: b or 869?
b
Let r = -5 - -2. Let t be 3 - (4/8 + 539/(-2)). Suppose -260 = -4*q - t. Is q at most r?
True
Let f = 0.3 - -13.7. Let y = -0.51 - -13.51. Let u = f - y. Which is smaller: 0.23 or u?
0.23
Let g(j) be the third derivative of -j**6/120 - j**5/5 + 5*j**4/12 - 5*j**3/3 - j**2. Let l be g(-13). Does -1/2 = l?
False
Suppose -c - 4*g = -730, 19*g - 2205 = -3*c + 22*g. Is c smaller than 735?
True
Suppose 321 = -2*v - 21. Let x = 7517 - 7688. Is v bigger than x?
False
Let m = 31.449 - -0.651. Let y = m - 32.2. Which is smaller: y or -187?
-187
Let a = -7.6 + -0.4. Let g = a - -5.2. Let o = g + 2.79. Which is smaller: o or 1/3?
o
Let c(d) = -13*d - 3. Suppose 0 = -9*b - 1 + 10. Let p be c(b). Is -14 at most as big as p?
False
Let p = 31.281 - 31.3. Let f = p - -24.019. Is f bigger than 1?
True
Let o be (-13)/(40/50 - (-17)/(-15)). Suppose -36*v + 15 = -o*v. Is -42/11 > v?
True
Let c be (-2)/((-5)/3 - -1). Let q be (-4)/6*c + 2. Let w = 12922 + -12981. Which is smaller: q or w?
w
Suppose 0 = q + 3*q + 3*b - 32, 3*q = 4*b - 1. Supp