t j be t(-3). Suppose j = -5*m + 4*m + 2. Let o = 66 - 63. Which is greater: o or m?
o
Let l(r) = r**2 - 2*r - 1. Let m be l(-1). Let u be 1/m + (-1)/(-2). Suppose 5*s - u = 4*s. Which is smaller: s or -1?
-1
Let a = -333 - -323. Are a and -31/3 non-equal?
True
Suppose 32*m + 11*m - 2451 = 0. Which is greater: 53 or m?
m
Let s be 6/(-1) - (-385)/77. Which is bigger: 6/377 or s?
6/377
Let q be (1821/(-2))/((-63)/(-24) + -3). Let v = 9779/4 - q. Is 16 < v?
True
Let q = 83 - 34. Let b = q + -22. Let m = 26 - b. Does m = 0.19?
False
Let p(k) = k**3 + 8*k**2 + 2*k + 5. Let b be p(-6). Let c be 360/35*(-38)/(-6). Let r = c - b. Which is greater: 1/4 or r?
1/4
Let u be (-34)/51 + 0 + 2*1. Which is smaller: 67 or u?
u
Suppose 0 = -4*b - 2*u - 42, -3*u - 12 = 4*b - 7*u. Let y be (1 - 3)*(-4 - (-228)/60). Is y > b?
True
Let g = 268 + -6431/24. Suppose 3*x - 3*j = -168, -x - 3*j - 97 = x. Let l = 52 + x. Do l and g have different values?
True
Let g(d) = -d**3 - 14*d**2 + 19*d + 59. Let o be g(-15). Do o and 2/549 have the same value?
False
Let m(o) = o**2 - 16*o + 2. Let n be m(16). Which is smaller: -23.7 or n?
-23.7
Let m be (126/435)/(72/(-240)). Which is bigger: -1 or m?
m
Let x = -82 + 132. Let d = -50.3 + x. Let g = 5 + -3. Which is smaller: g or d?
d
Let x be ((-91)/78 - -1)/(2/8). Is x < -7/16?
True
Suppose -9*f = -13*f + 48. Suppose 4*x + 2*u = -102, -6*x + 4*x + 5*u - 81 = 0. Let c be (6/f)/(2/x). Is c < -8?
False
Let u = 30 + -81. Let p = u - -50.37. Which is smaller: 2/7 or p?
p
Let m be 240/39 - 4/26. Is 30 less than or equal to m?
False
Let m = 45 - 17. Suppose 2*c - 2*s = -3*s - m, s = c + 8. Let d = -3 + -10. Which is greater: c or d?
c
Let x = 0.14 + -0.2. Let q = -2.06 - x. Let y = 7 + -6.9. Is q less than y?
True
Suppose 2*w - 7*w + 40 = 0. Which is smaller: w or 24?
w
Let y(o) = -93*o + 324. Let p be y(8). Are -421 and p nonequal?
True
Suppose -517 + 23 = 3*u + 2*k, -3*k = u + 153. Is u at least -167?
False
Let s = -304 - -513. Is s greater than or equal to 208?
True
Let a(g) = -4*g**2 - 14*g + 3. Let p(o) = -5*o**2 - 13*o + 3. Let d(k) = 3*a(k) - 2*p(k). Let y be d(-8). Which is smaller: 6 or y?
y
Let u = -4214.1 + 3979. Let t = -245 - u. Let o = -10 - t. Is o <= 6?
True
Suppose 5 = -x, -3*l + 2*x = 3*x - 187. Suppose -g - 83 = 3*n, 2*n - 4*n - 5*g - l = 0. Which is bigger: n or -25?
-25
Let u(r) = -3*r**2 + 5*r - 9. Let v be u(-5). Let m = 73 + v. Which is bigger: -2/7 or m?
-2/7
Let y = 0.096 - 42.096. Let m = -42.4 - y. Let h = 0.4 + -0.3. Which is smaller: h or m?
m
Let s = 138 + -70. Let q = -67.91 + s. Let a = 0.1 - 0. Is a > q?
True
Let g = -11 + 16. Let c be -1 + (-66)/(-18) + 12/9. Which is smaller: g or c?
c
Let v = 145 + -86. Let j = -59 + v. Which is smaller: -17/4 or j?
-17/4
Suppose 3 = 2*x - 2*r + 9, 5*r + 45 = -5*x. Let h = -5 - x. Is 1 < h?
False
Let j be (4/3)/((-18)/27). Let z = -20 + 17. Which is greater: j or z?
j
Let b(i) = i - 19. Let d be b(13). Let p = -13 - -6. Let v = -11 - p. Is v less than d?
False
Let x be (-1 - 0)*(5/(-1) - -5). Which is smaller: x or 62?
x
Let y be 4/((-4431)/(-147) - 1/7). Are 3/5 and y non-equal?
True
Let a(b) = 4 + 7 - 2*b - 146*b**3 + 7*b**2 + 3*b + 145*b**3. Let w be a(7). Which is smaller: 17 or w?
17
Let s = 178 - 160. Which is smaller: 41 or s?
s
Let j be ((-341)/(-33))/(3/9). Is j at least 4?
True
Let f be (-980 + -183)/(0 + 1). Is f bigger than -1164?
True
Let x be 64/56*1*-1. Let c = 2 - 6. Let y(b) = b**3 + 4*b**2 + b + 2. Let f be y(c). Is f equal to x?
False
Let c = 1773 - 1763.19. Let w = -0.19 - c. Let m = 10 + w. Is -0.1 at least as big as m?
False
Let l = 1.85 - 0.05. Let c = l + -1.62. Is c greater than 1?
False
Let b be (-7)/((-7)/3) - -177. Suppose -k = -2*p + 9 - 81, -5*p + 5*k - b = 0. Is -36 not equal to p?
False
Suppose 0 = -5*w + 4*l - 345, -w + l + 0 = 68. Let x = -60 - w. Which is bigger: x or -2/5?
x
Let m(l) = -14*l - 38. Let t be m(-8). Is t >= 73?
True
Let l = -1/46 - 19/184. Which is smaller: l or 0.07?
l
Let w be 2 + -1 + (-5 - -7). Suppose 0*y - 6 = -w*y. Suppose 3 - 9 = -y*l. Which is bigger: l or 8?
8
Let u(y) = 5*y**3 - 10*y**2 - 4*y - 3. Let j(z) = 4*z**3 - 9*z**2 - 4*z - 3. Let f(g) = 6*j(g) - 5*u(g). Let k be f(-3). Which is smaller: 4/29 or k?
k
Let k be ((-2)/(-3))/((-4)/30). Let y(d) = d**2 + 3*d. Let w be y(k). Let b = -13 + 23. Are b and w non-equal?
False
Suppose -5*f + 20 = -5*u, 14 = -5*u + f + 2. Let j = -0.074 + 38.074. Let q = -38.1 + j. Which is smaller: u or q?
u
Let g(n) = -9*n - 27. Let i be g(-5). Is i greater than or equal to 20?
False
Let w(o) = 20*o**2 - 2*o - 14. Let i be w(-3). Is 173 at most as big as i?
False
Let b(z) be the second derivative of z**3/6 - 2*z**2 + z. Let i be b(9). Suppose -4*m = 7 + i. Is m less than -1?
True
Let x = -1 - 48. Let n = -18 - x. Is n at least as big as 32?
False
Let g = -941 + 684. Which is bigger: g or -0.2?
-0.2
Let y = -2 - -1. Let g = 7/911 + 2642/11843. Which is smaller: y or g?
y
Suppose 29 = 10*h - 1. Which is greater: 9 or h?
9
Let y = -1866 - -1842. Suppose 2*l = -x - 51, -3 = l - 3*x - x. Which is smaller: y or l?
y
Suppose 0*c - 2 = -2*c. Suppose -f - 52 = -2*t, -9 = -4*f - c. Is 30 less than t?
False
Let k be -1 - 3/(-6)*14. Let h = 72 + -67. Which is smaller: k or h?
h
Let u = -12 - -44. Suppose -16*v = -2*q - 19*v + 73, 4*q + v - 131 = 0. Is q < u?
False
Let s be 48/(-32)*(-208)/12. Suppose 0 = -2*q - 4*b + 50, -4*q + 112 = -5*b + b. Which is smaller: s or q?
s
Let v(q) = -3*q + 2. Let m be v(-1). Suppose 19 + m = -3*l. Let g be (2/l)/((-30)/(-216)). Is g at least -1?
False
Suppose -6 + 4 = -z - 2*g, -2 = 2*z - 2*g. Which is bigger: -434 or z?
z
Let b = -3585/3724 - -3/196. Which is bigger: b or 0?
0
Let l = -16.07 + 1.07. Is -3 != l?
True
Let f(h) = -6*h**3 - 4*h**2 + 4*h + 2. Let r be f(-4). Suppose m = -5*m + r. Let t = 82 - m. Which is bigger: 32 or t?
32
Let i be (-2)/3 - (-3040)/24. Suppose -2*x - i = 5*x. Let q = x + 12. Is 1 greater than q?
True
Let f be (-420)/(-195) - (-2)/(-13). Let u = -4 - -13. Which is smaller: f or u?
f
Let o be (12/(-120))/((-2)/3332). Let f = -169 + o. Let i = 1 + -4. Is i smaller than f?
True
Let y = -124 + 92. Let q = -32.7 - y. Which is smaller: q or -0.5?
q
Let s = 13.07 - 4.07. Which is smaller: 5/6 or s?
5/6
Let c = 3564 - 1959. Let j be (-8)/(-10)*c/54. Let l = -24 + j. Which is smaller: 0 or l?
l
Let r be (-2 - 7) + (-5508)/(-442). Is r less than -1?
False
Let o(w) = w**2 + w + 14. Let r be o(0). Suppose -n + r = 5*v, -5*n + n - 28 = -v. Let k be n + (-2 - -2)/(-4). Do -5 and k have the same value?
False
Let j be -1*3 - ((-2 - -3) + 2). Let i be j + -9 + (1 - -2)/(-3). Which is greater: i or -76/5?
-76/5
Let x(u) = -u**3 - 2*u**2 - 5*u - 9. Let o be x(-4). Suppose -5*k - 32 = o. Let c = 13 + k. Which is smaller: c or -1?
c
Let s be 89*1*1/3. Let q = -413 - -383. Let a = q + s. Is a greater than or equal to -3/5?
True
Let d = 239 - 240. Which is bigger: d or -5/41?
-5/41
Let t = 3.9 + 0.1. Which is greater: t or -0.4?
t
Let n = -524.824 - -525. Is n at most 3/2?
True
Suppose 0 = -10*l + 21 - 71. Let x be -16*(-20)/5 - l. Is x greater than or equal to 69?
True
Let c(k) = k**3 + k**2 - 4*k - 1. Let j be c(-2). Which is smaller: j or -0.39?
-0.39
Let t = 0.1262 + -0.3262. Which is smaller: t or 62?
t
Suppose 0 = 3*v - 2*m - 82, 5*v - m + 62 = 208. Suppose 54*i = 55*i - 31. Do v and i have different values?
True
Suppose 12 = 2*i + 4*i. Is i at least 7/3?
False
Let x be 14*(63/14 - 4). Which is smaller: 0 or x?
0
Let h = 8993 + -9050.29. Let n = h + 1.29. Is n smaller than -0.1?
True
Let v be (8/(-132) + 0)*-45. Let f = -29308/11 - -2662. Let n = v + f. Is 1/2 at least as big as n?
True
Let d be (2/((-6)/9))/(1 + 0). Suppose -4*t + 13 = 5*h - 40, 0 = -4*t - 4*h + 56. Suppose -2*a - 5*x - t = 0, 3 - 8 = 2*a + x. Is a equal to d?
False
Let d be 20/(-25)*(-3)/(-6). Is -297 equal to d?
False
Suppose -441 = 5*r - 2*h - h, -h = -2*r - 176. Let t = -87 - r. Which is smaller: t or 2/43?
t
Let c = 5633 - 337969/60. Is 0 greater than c?
False
Suppose -4*j - 4*f - 48 = 0, -2*j - 3*f - 8 - 13 = 0. Let c be (1 - 12/20)/((-21)/j). Let l be (-12)/(-7) - 2*1. Do l and c have the same value?
False
Suppose 11193 = 53*u - 48167. Are 2 and u equal?
False
Let