han or equal to q?
True
Let g be (2*(-34)/48)/(-1). Let w(j) = -3*j**3 + 4*j - 69. Let r be w(-3). Is r greater than or equal to g?
False
Let d = -215.8 + 221. Let j = d - 5.196. Which is smaller: -1/4 or j?
-1/4
Suppose 9*f + 47 = -25. Let u be ((-3)/3 + f)/(2/14). Let a = 47 + u. Do a and -16 have the same value?
True
Let n = -8104 + 8103. Is 11669 less than n?
False
Let q be (-26)/(-4)*-46 + -5 - -1. Is q != -314?
True
Let j = 12321 - 11816. Which is smaller: j or -2/11?
-2/11
Let o = -181 - -177. Let r be (-1)/(-8)*o*46. Let g be -13*2 + (-1 - -3). Which is smaller: g or r?
g
Suppose -2*i + 8 = -f, 2*f + 4*i = 5*f + 16. Suppose -2*g + 2*s - 4 = 0, f = -3*g - 4*s + 16 + 6. Are g and -2/9 equal?
False
Suppose 0 = 4*i + u + 4*u + 16, -5*u = 2*i + 18. Let g be (-4 + i)*(2830/(-946) - -3). Let f = -2490/13717 + g. Is 1 smaller than f?
False
Suppose 7*y + 161 = 3*n, 7*n + 51 = 8*n - 3*y. Suppose -49 = p + 9. Let l = 7 - p. Which is greater: l or n?
l
Suppose 2*l - 140 = 6*l. Let b be ((-3043)/(-34))/(((-2)/(-20))/1). Let s be b/(-25) - ((-12)/(-20))/3. Which is smaller: l or s?
s
Let m = 485 + -5330/11. Suppose -37*i - 5 = -42*i. Is i < m?
False
Let v be 101 + -2 - (-945)/(-108)*(-8)/(-10). Do 1021/11 and v have the same value?
False
Let f = 103 + 472. Let i = -580.32 + f. Is i smaller than -1/4?
True
Let u be 4/(-6) + 80/(-132). Let w(y) = 52*y + 4. Let o be w(-1). Let l = 46 + o. Are u and l non-equal?
True
Let h(a) = 152*a - 457. Let j be h(3). Are j and 8/1227 nonequal?
True
Let h = 162.1 - 24.1. Let m = h + -174. Let z = 0.2 + -0.4. Which is bigger: z or m?
z
Let d be 8/((-3190)/464 - (1 - 8)). Is -5 at least as big as d?
False
Let m(w) be the first derivative of -2*w**3/3 + 63*w**2/2 + 74*w + 13. Let a be m(33). Suppose -3*s + 10 - 85 = 0. Is a greater than s?
False
Let i = 155.127 - 155. Let v = -4.127 + i. Is 7/3 less than v?
False
Suppose -6*k + 523 = 547. Let d(o) = 7 + 2*o - o**3 + 2 - 4*o**2 - 5*o. Let s be d(k). Which is smaller: s or 20?
20
Suppose 5*a + h = -2*a + 13629, 3*a - 5830 = -2*h. Which is bigger: 5846/3 or a?
5846/3
Let u be (-1199)/2*(4 + -9 + 1). Is u less than or equal to 2395?
False
Suppose 4*a - 1833 + 4526 = 5*q, -3*q = 3*a + 2013. Which is greater: -668 or a?
-668
Let j = -16734123050391/3458 - -4839249045. Let u = -1/494 + j. Let f = 3313/77 - u. Is f equal to 0?
False
Let v = -27.9414 + 0.0414. Let r = -27.6 - v. Is r smaller than -0.8?
False
Let t = 16142 - 16141.8. Which is greater: t or -10/1121?
t
Let g(s) = s**3 - 9*s**2 + s - 18. Let f = 135 - 125. Let w be g(f). Is w at least 92?
True
Let v = 46/777 + -36089/608132. Is v at least 1?
False
Let s be (15/(-9))/((-145)/58)*465. Let x(z) = 310*z**2 - 1. Let u be x(1). Is s equal to u?
False
Let d = -17.463 + 23.026. Do d and 0.2 have different values?
True
Let a = -0.0184 - -116.0184. Is -4/3 at most a?
True
Let h be (-8)/(80/15) + (-5878)/(-360). Let q = h - 74/5. Is -3 != q?
True
Let y(s) = s + 52 - 37*s + 2*s**2 - 24 - 9. Let x be y(17). Which is smaller: x or -59/4?
x
Let k = 26.006 + -0.006. Let w = -0.00598 + 0.10598. Is k bigger than w?
True
Let c = -143.1 + 283. Let b = 159 - c. Let o = b - 19. Is o at most 37?
True
Let v = 1573/9 + -175. Let b(k) = 8*k + 19. Let s be b(-7). Let n = s + 38. Which is bigger: v or n?
n
Let a = -36073 + 36073. Which is smaller: 21077/5 or a?
a
Suppose -82*a - 45*a = 0. Let f be ((-15)/(-76))/((-15)/(-40)). Which is smaller: f or a?
a
Let a = -1431 + 1441. Which is bigger: a or -13?
a
Let i = 822251/34 - 24182. Is i less than or equal to 0.2?
False
Let i = -119478/17 - -7026. Let b(z) = -21*z**3 - 379*z**2 - 17*z + 16. Let g be b(-18). Which is greater: i or g?
g
Let l = -7.33 - -7.843. Let d = 0.013 - l. Which is greater: 5/4 or d?
5/4
Suppose -x + 5*s = 63, -33*x + 2*s = -34*x - 56. Which is smaller: x or -341/6?
x
Let i = -22656 - -22599. Which is smaller: -56 or i?
i
Let w = 20 - 18. Let r be (3 - -18)*4/w. Suppose -r = -4*a - 18. Which is bigger: 5 or a?
a
Suppose -3*q - 4*k = 5, 5*k = q - 3*q - 1. Let t be -1 - 359/(-21) - q/(-7). Which is smaller: t or 16?
t
Let k(m) = -m**3 - 10*m**2 + 5*m - 18. Let x be k(-11). Suppose -5*y - d - 2*d = -240, y + 3*d - x = 0. Let b = y - 52. Is b at most -4?
True
Let j = -30509 + 29355. Is -1166 less than or equal to j?
True
Let b = 1736 - 1740. Which is smaller: b or 112.2?
b
Let l = 20 + 147. Let f = -167 + l. Which is smaller: f or 51?
f
Let u be (18/(-222))/(3/2). Let q be 21/(-28)*(-26)/(-9). Let i = q - -3/2. Which is bigger: u or i?
u
Suppose -7*z + 4*z + 21 = 0. Let u be ((-56)/294)/((-2)/z). Which is greater: 0.043 or u?
u
Let j = 3 - 3. Let h be 48/(-3186)*(-222)/296. Is j smaller than h?
True
Let j be 7 + -4 - (48/7 - 4). Let c = -23/14 + j. Are c and -3/4 non-equal?
True
Let n be (-36)/27 + -13 + 14. Let p = -9/10 + 2/5. Is n at most as big as p?
False
Let i be (2/(-88))/(12/(-288)) - 10/(-22). Let u be (-3)/(-2)*(-4)/(-838). Is u equal to i?
False
Suppose j = -8*i - 6, -80*i - 2*j - 1 = -75*i. Are i and -11/868 unequal?
True
Let x(n) = -2*n + 17. Let v be x(6). Suppose v*u - 5*m = 20, 0*u - u + 19 = -4*m. Let g be 3*u - (-92)/24. Which is smaller: 2 or g?
g
Suppose -34 = -5*m + 3*t, -19*t + 14*t = 3*m. Suppose 0 = -m*z, 4*z = -3*q - 0*z + 33. Is q greater than or equal to 13?
False
Let h(f) = -7*f**2 - 64*f - 1. Let w be h(-10). Which is smaller: w or -1559/25?
-1559/25
Let t = -46 - 19. Let j = -68 - -4. Is t at most as big as j?
True
Let z(s) = 2*s**3 + 10*s**2 - 7*s - 1. Let o be z(-6). Let b = -281/9 - o. Which is bigger: b or -3?
b
Let v(y) = -7*y + 443. Let b be v(47). Suppose f + 115 = b. Are f and 2/91 non-equal?
True
Let o be (8/(-56)*4)/((-2708)/(-2712) + -1). Which is smaller: o or 386?
386
Let v(i) = 0*i + 70*i**3 - 59*i**2 + 60*i**2 + 3 - i. Let j be v(-2). Let c = 31409/57 + j. Which is bigger: -1 or c?
c
Suppose s + 5*c + 7 = -0, -s + 3*c = -17. Suppose 4*k - 2*a - 28 = -5*a, -2*k + 40 = -5*a. Suppose 4*i = p - 3, -5 - k = -2*p - i. Is p not equal to s?
True
Let k be (-20748)/1038 + 440/22. Suppose -4*w - 4*i - 11 = 5, -5*w = -2*i - 15. Which is smaller: w or k?
k
Suppose 3 - 109 = -5*u - m, 3*u - 3*m - 60 = 0. Suppose u*f - 2047 = 6227. Which is bigger: f or 392?
f
Let w be (-1 + 22/12)/(1/(-6)). Suppose g = 3, 0 = -2*l - 4*g - 9 - 5. Which is smaller: w or l?
l
Let u be (-60)/12 + -1*(-3 + -4). Let w be (-1)/6 - (747/54 - u). Is -2 != w?
True
Let n be 1*211 - 4*(-7 - -6). Let t = 39 - 40. Is t smaller than n?
True
Let w = 1055 - 1052. Which is bigger: w or 8?
8
Let p = 0.349 + -0.069. Let q = -116.28 + p. Is q greater than 0?
False
Suppose 5*h - 17329 = -5*o + 8941, -2*o - h = -10504. Is 5249 at most o?
True
Let r = 8.257 + -8.4. Let c = -13.257 + r. Let u = 17.4 + c. Which is smaller: 2/3 or u?
2/3
Let f(v) = v + 42. Let d be f(27). Suppose d + 87 = -6*s. Which is greater: s or -10?
-10
Suppose -2*n + 2*g = 309 - 105, 2*g = -5*n - 510. Let u = n + 101. Which is smaller: -41 or u?
-41
Suppose -146*t + 145*t + 14 = 0. Suppose -t*v + 19*v = 2*j - 19, 4*j + 4 = -4*v. Which is greater: v or -12?
v
Suppose 2*d + d - 3 = 0. Let m(v) = v**2 + 9*v + 14. Let u be m(-6). Let w be u - (-7)/(-259)*-151. Which is bigger: w or d?
d
Let d(z) = 0 - 1 - 8*z - 3. Let x be d(3). Suppose 503*u - 113*u = -929 - 9211. Which is smaller: x or u?
x
Let b = 87 - 225. Let m = b + 121. Do -20 and m have the same value?
False
Let x(r) = 0*r + 5 + 2*r**2 + 2*r - 3 - 6*r. Suppose 10*w - 371 = -331. Let g be x(w). Which is smaller: g or 16?
16
Let t(h) = 425*h - 2551. Let s be t(6). Is 17.61 > s?
True
Let p be (-1)/3 - (-22)/(-41688)*2361. Let j = 23/386 - p. Let u = -8/9 + j. Is -3 greater than or equal to u?
False
Let w = 12 - 33. Let a(p) = 15*p**2 + 2164*p + 554. Let j be a(-144). Is w != j?
True
Let h = 2.8 + -3.27. Let g = h - 0.53. Which is smaller: g or -0.091?
g
Let f be (2/7)/((-216)/(-168)) + 37416/1242. Which is smaller: f or 30?
30
Suppose 46*l - 41*l - 740 = 0. Let p be -22*(6 + l/(-24)). Is p at least as big as 3?
True
Suppose 4*v + k - 16 + 0 = 0, v - 7 = -k. Suppose -2*n + 7 = 5*b, -3*b - 3 = v*n - 0. Suppose -b*f + 5*f = 0. Which is bigger: f or 2/35?
2/35
Let g(u) = -u**3 + 4*u - 3. Let i(p) = 4*p**3 - 12*p + 9. Let c(r) = 11*g(r) + 4*i(r). Let h be c(1). Let 