). Is j at least 213?
True
Suppose -51*l = -36*l - 60. Suppose 3*z - l*t + 8 = -4, -3 = -z - t. Which is greater: z or 3/11?
3/11
Suppose 3 = g + 2*p, 0*g = -4*g + 4*p. Let d = 133 - -14. Suppose -7*u + 0*u + d = 0. Are u and g non-equal?
True
Let z(y) = -y**3 - 11*y**2 + 18*y + 103. Let f be z(-4). Is f bigger than -153?
True
Suppose -4*r = 2*p + 24 + 4, 21*r - 5*p = -209. Is r at least as big as -103/12?
False
Let m be 342/16 + 3753/(-216) + 17. Let d be ((-2)/4)/((-2)/(-8)). Is m >= d?
True
Suppose -5*n = 3*p + 21, 0*p - 3*p = -n + 39. Let x(z) = -z**3 - 12*z**2 - 2*z. Let d be x(p). Let m be (-698)/(-29) - 1156/16762. Is d smaller than m?
False
Suppose 3*b + 10836 = 4*n + 478, -2*b = 2*n + 6910. Is -3452 greater than or equal to b?
True
Suppose 2*t + 5*i = -8612, -871*t - 8648 = -869*t - 4*i. Which is bigger: -4314 or t?
-4314
Suppose 4*f - 28 = -4, 0 = -a - 2*f + 40. Which is smaller: a or 318/11?
a
Suppose 3*u = 2*l - 16 + 50, 20 = 5*l. Let i(q) = q**3 - 14*q**2 + 14*q - 30. Let k be i(u). Which is smaller: k or 165?
165
Suppose -k = -5*w + 3*k - 21, -13 = w - 3*k. Let f be 0/(-2) + (w - 1). Let q = 6.7 + -0.7. Which is smaller: q or f?
f
Let i = 152 + -156. Let o be ((-24)/450)/(2 - i). Suppose 0 = -x - 5*z + 16, 5*x - 13 - 4 = -4*z. Which is smaller: x or o?
o
Let t = -3 + 2.98. Let h = -0.02 - t. Let w = 10736 + -32206/3. Which is bigger: h or w?
w
Let i = 117 - -111. Suppose -2*r - 114 = -5*p, -4*r - 30*p = -28*p + i. Is r > -57?
False
Suppose -68*c + 2*r = -70*c - 108, 3*r = 3*c + 132. Which is smaller: 36 or c?
c
Let t(f) = 4*f**3 + 11*f**2 + 20*f - 1. Let z(x) = -x**3 - 3*x**2 - 7*x + 1. Let w(l) = -2*t(l) - 7*z(l). Let d be w(2). Is 2/153 bigger than d?
False
Let z = 451/958 - -14/479. Which is smaller: -323.1 or z?
-323.1
Suppose v + 3*q = -105 + 6102, 3*v = 5*q + 17991. Which is bigger: v or -4?
v
Let t = 0.8016 - 0.9116. Is 7.1 greater than t?
True
Suppose -26*t = -30*t + 280. Suppose 0 = 12*x + 2*x - t. Is x < 19?
True
Let q(j) = -3010*j + 33108. Let g be q(11). Let t = 37533333360706/117715 + -4145039606/13. Let z = -2/9055 + t. Is z at least as big as g?
False
Suppose x + 4*b + 1734 = 2*x, 4*x = -5*b + 7020. Let c = x - 8702/5. Let y(t) = 4*t - 3. Let n be y(3). Is n greater than or equal to c?
False
Let i be 2 + 49 - 0/7. Let f = i + -51. Suppose f = -5*s + 2 + 3. Which is bigger: s or -1/28?
s
Let f(q) = 15*q**2 + 85*q + 13. Let k(s) = -5*s**2 - 28*s - 4. Let w(c) = -3*f(c) - 8*k(c). Let r be w(-6). Is r less than -1/53?
True
Let i = -24 + 28. Suppose 3*n + 4*a = n - 8, -i*n + 5*a - 16 = 0. Let c be (n/(-138))/(8/24). Which is bigger: -1 or c?
c
Let i = 84 - 49. Let c be ((-97)/(-5))/(-3*(-8)/(-60)). Let y = c - -49. Is i < y?
False
Let x = 140264 - 140040. Let l = -45 + 133/3. Is l less than x?
True
Let h(k) = -3*k**2 - 117*k + 9. Let q(p) = -2*p + 1. Let w(g) = h(g) - 6*q(g). Let y be w(-35). Which is smaller: y or 6?
y
Let u be (-11)/((-2332)/(-2292)) + (-4 - -13). Which is bigger: u or -1?
-1
Let n be ((-28)/(-10) - 2)*22/88. Let d be (-4)/6 - (17024/735)/(-32). Which is smaller: d or n?
d
Let c(q) = -16*q**2 + 9*q - 264. Let x be c(-16). Which is bigger: x or -4506?
x
Let y = 19957 + -19957.116. Is y greater than 0.1?
False
Let b = 255/7 + -569/21. Are b and -48 nonequal?
True
Suppose -17*x + 658 = -3*x. Suppose 0 = -3*m + 7*m + 3*y + x, -4*y = 20. Is 0.14 at least as big as m?
True
Suppose 155*x + 2542 = 37*x - 1824. Is x < -0.8?
True
Suppose -3*k - 13*q + 17*q = -17, 3*k + q - 22 = 0. Suppose 11 = -k*s - 10. Is s smaller than 0.21?
True
Suppose 3*y + 18 = y. Let h be (-11)/(154/20)*(2 + y). Let f = h + -50. Is f >= -40?
True
Let d = 0.23756 - -0.06244. Is d at most as big as 26.9?
True
Suppose 4*z = 8*n - 6*n - 508, 0 = n + 4*z - 278. Which is smaller: n or 265?
n
Let n(d) = -2*d**2 - 3 - 4 + 3*d**2 - 2*d + d. Let x be n(3). Which is greater: -16/7 or x?
x
Let z = 3849 + -3886. Are -611/17 and z non-equal?
True
Let p be (-3)/(-6) + (-108)/(-8) + 1. Let s be (54/p)/6*(0 - 5). Which is smaller: -13 or s?
-13
Let p = -935 - -934. Which is smaller: 7/626 or p?
p
Let b = 4235 - 4820. Which is greater: -1751/3 or b?
-1751/3
Suppose 8*c + 3699 = -19*c. Let a = 158 - c. Is 294 smaller than a?
True
Let u = 153 - 88. Let t = u - 62.2. Let q be (-6)/16*16/24. Which is bigger: q or t?
t
Suppose u - 15 = k, -u + 27 = 2*k - 4*k. Let s be (15/((-225)/k))/(1/(-5)). Let r = -1 - -3. Which is smaller: r or s?
s
Let q = 96003 - 271400485/2827. Is q <= 0?
True
Let z = 23.816 + -24. Let a = z + 0.184. Is a smaller than -7/16?
False
Let c be (48/(-192))/(1*(-3)/204). Suppose -c*p + 19*p = 138. Is 492/7 smaller than p?
False
Suppose 0 = 14*k + 3*k - 51. Suppose 3*c = k*g - 72, -4*g - c = g - 108. Which is smaller: g or 20?
20
Let h = -11613610/349 - -33277. Which is greater: 1 or h?
1
Let d be (-23804)/326832 - 1/(-12). Does -1 = d?
False
Let d be 9/(-15) + 1 - (-8118)/(-65). Let h = d - -1166/13. Which is smaller: h or -34?
h
Let b = 55/4 + -14. Let d = 12314 - 12304. Is d bigger than b?
True
Let o be 6*(18126/828 - 22). Which is smaller: o or -8?
-8
Let j = -31199/35730 - -7/397. Which is smaller: j or -2?
-2
Suppose -3*z = -3*c + 3, -c = -6*c + 4*z + 9. Do -64 and c have the same value?
False
Let j be -2 + (2404 - -4) - 12. Is j bigger than 2393?
True
Let j be (24/(-774)*408 - -3) + 21/3. Is j greater than -4?
True
Let o be (-16)/(-42)*60/56. Let y = 1336/2793 - o. Which is smaller: y or 0?
0
Let q be 17570/(-25)*6/12. Let z = -351 - q. Is -143 less than or equal to z?
True
Let u be 2/4 + (-132)/168. Let x = -1.744 - -1.794. Which is bigger: u or x?
x
Let f be 36/(-12) - 48/(-2). Let x be 94 - (1 - f/3). Is x at most 201/2?
True
Let k = 36843 - 1805246/49. Is 0 less than k?
True
Let p be ((-720)/192)/((-11)/1792). Is p greater than or equal to 610?
True
Let p(k) = k**3 - 55*k + 48*k - 13*k**2 + 34 - 43*k. Let g be p(16). Are 27/8 and g equal?
False
Let c be 5/20*(-4 + 96). Let j be (-2)/4 + ((-18837)/(-1582))/c. Which is smaller: 1 or j?
j
Let h(i) = -i**2 + 62. Let j be h(7). Suppose -q = z + 2*z - j, 4*q = 2*z - 4. Is q >= 1/42?
True
Let f = -214 + 869/4. Let i = 101 + -100.7. Which is smaller: f or i?
i
Let z = 8703 - 13782. Is -5080 at most z?
True
Let w(r) = -r**3 - 8*r**2 - 7*r + 3. Let u be w(-7). Suppose -2*q - 4*v = -9*v + 12, u*v - 4 = -2*q. Let a be -12 + 8 - (q + -4). Which is smaller: a or 1/141?
1/141
Let r = 3423.8 - 4045. Let l = r - -614. Is -3 smaller than l?
False
Let z = 415 + -410. Let y be (z - (2 + 2))*3. Are y and 54 equal?
False
Let n(x) = -87*x**3 - 2 + 207*x**3 + 1 + x. Let k be n(1). Suppose 3*o = -4*c + 617 - 288, -4*c = 28. Is k not equal to o?
True
Let l be 15*8*(-26)/(-7800). Suppose 0*j - 4*j - 452 = 0. Is l greater than or equal to j?
True
Let w be (-2)/3 - 2/(-3). Suppose w = -53*c + 55*c - 4. Let r = 5/3 - c. Which is smaller: 0.042 or r?
r
Suppose -6*l - 1463 = -b - 10*l, 4*b + 4*l - 5888 = 0. Which is greater: b or 1476?
1476
Let i = 127.7 + 35.3. Let q = -162.98 + i. Let p = -0.139 + 0.039. Which is greater: p or q?
q
Let s = 0.1156 - 0.1156. Let h = -0.25 - -30.25. Which is greater: h or s?
h
Let g = 42.08 + -54.08. Let p = 1.84 - 2. Is g less than p?
True
Let j(p) = 29*p - 576. Let l be j(26). Which is smaller: l or 1971/11?
l
Let g(h) = 2*h**3 - 5*h**2 - 5*h + 2. Let q be g(3). Let t be 1293/(-33) - q/22. Let u = 38 + t. Is u bigger than 1?
False
Suppose 64 = 4*z + n + 396, 0 = -2*n - 2*n. Is z at least as big as -86?
True
Suppose -2*y - d + 12 = -3*d, -4*d = 20. Suppose -2*f - 91 = -4*z + 63, 2*f + 162 = 6*z. Which is bigger: y or f?
y
Let m be 2/(-12) + (-207 - -207). Let i = 42.95 - 43. Which is smaller: i or m?
m
Let k be -3*16/(-18)*-3. Let s(m) = 4*m - 108. Let z be s(29). Let u be (2 - z/20)/(1/(-5)). Do u and k have different values?
False
Let h = 21093 + -21220. Which is smaller: h or -122?
h
Let n(q) = q**3 + 19*q**2 - 63*q - 627. Let l be n(-18). Are 837 and l nonequal?
True
Let s be 12 + (-9 - (-22386)/(-7448)). Are s and 0 unequal?
True
Let t = 1432 - 3336. Let d be ((-2)/20)/((-34)/t). Which is smaller: d or -7?
-7
Let v be (-12)/(-4) + (-4)/(-38) + (17600/(-2375))/2. Let i be 91*1 + 0/1. Is i >= v?
True
Let h(z) = -z**2 + 17*z + 104. Let w be h(26). Which is greater: -81 or