2). Which is smaller: -35 or x?
-35
Let z = 8473 - 8472. Which is bigger: -12/115 or z?
z
Let d = -8837 - -8117. Is d > 0?
False
Let k = -4.1897 - -0.1897. Is 174 >= k?
True
Suppose -480*x = -429*x. Let o(l) = l**3 + l - 1. Let v be o(1). Let d be v - (-3)/(-1 - 0). Is x bigger than d?
True
Let c = 1/60404 - -119017/108183564. Which is bigger: 1/3 or c?
1/3
Suppose -4638 + 1350 = -w + 5*f, 0 = -4*f - 8. Is 3279 greater than or equal to w?
True
Let r = 131 - 129. Let m = -0.0337 + -24.2663. Let l = -23 - m. Is r bigger than l?
True
Suppose -9*z = -6 - 3. Suppose w = -2*i - 4*w + z, 0 = 3*i + 2*w + 15. Which is smaller: -54/7 or i?
-54/7
Let z(k) = -k**3 + 15*k**2 + 6*k - 268. Let f be z(10). Do f and 291 have different values?
True
Let a = 2104 - 18931/9. Suppose -5*i + 41 + 24 = 5*g, i = 2*g + 28. Suppose -i = 2*z + 4*u, z - 11 = -u + 3*u. Is z < a?
False
Suppose -3 = 3*i - 4*o, o + 1 = -1508*i + 1507*i. Which is smaller: i or -3/7825?
i
Let y(z) = -35*z - 51. Let i be y(0). Which is smaller: -33 or i?
i
Suppose 2*p + 4*p = -1110. Let t = 286 + p. Which is bigger: 99 or t?
t
Let b = -4.427 + 552.227. Let i = -548 + b. Is i equal to -147?
False
Let u = 0 + -22. Let x(a) = a**3 + 21*a**2 - 18*a + 13. Let w be x(u). Is -75 at least w?
True
Let z = 505/7 + -591/7. Which is smaller: z or -12?
z
Suppose 3*i + 2 = 4*i, 1 = -3*y + 2*i. Let s = 11743/12 + -504829/516. Which is smaller: y or s?
s
Suppose 16*b = -30*b - 46. Let g = -254 - -7619/30. Which is bigger: b or g?
g
Let n be 120 + (-2)/(-2)*(-4)/(-2). Suppose 126*u = n*u + 32. Suppose 5*b - 3*p + 38 = -44, 0 = -2*p + u. Which is smaller: -13 or b?
b
Let h(x) = 42*x + 45 - 22*x**2 - 137*x + 71*x + x**3. Let j be h(23). Let y = j - 13. Which is smaller: y or 13?
y
Let b be -737*(5 + 1060/(-220)). Let x = -192 - -59. Which is smaller: x or b?
b
Let z(u) = -14*u - 10. Let j be z(0). Is -13 <= j?
True
Let r be 50/(-30) - 5744/(-1056). Is r greater than 3?
True
Let q be (-5)/(-4)*(-7)/(2800/128). Which is smaller: 1168 or q?
q
Let b = 0.002621 - 2.816521. Is b < -1?
True
Let d be (0 - -2)*-206 - (-5 + 2 - -1). Which is greater: d or -413?
d
Suppose 5*g = -4*t - 63663, 30*g - 32*g = -2*t - 31836. Which is bigger: t or -15916?
-15916
Let m = -141 + 141. Let s be (m + 1/3)*(-137 - 142). Are -93 and s equal?
True
Let a = -205 + 575. Let b be (1 - 30/14)*(-259)/a. Which is smaller: b or -12?
-12
Let h = -6.3 + 6.2. Let x be ((-105)/14)/15 - 1188/56. Is h < x?
False
Let j = -2.47 + -16.33. Let v = -12.2 - j. Which is greater: v or 2?
v
Let h = 0.959 + -3.244. Let y = h + 0.285. Let r be -13 + 1/3*3. Which is bigger: r or y?
y
Let x(i) = i**2 + 61*i + 724. Let j be x(-21). Is j > 5?
False
Let u = 3114331/63170 + -5/6317. Let i = u + -249/5. Is -8 less than i?
True
Suppose 32*l + 1410 = 1346. Which is bigger: l or -10?
l
Suppose 12*a - 15*a + 3*r - 12 = 0, 5*a + 12 = 3*r. Do a and 13/357 have the same value?
False
Suppose h + 3*z + 2 = 0, 21*h + 5*z - 416 = -284. Let j be (3/3 - 3)*-11. Which is greater: j or h?
j
Let a be (9 - 9)*4/8. Suppose -86*q + 81*q = a. Are q and 14/83 equal?
False
Let a(v) = v**3 - 3*v**2 - 5*v. Suppose -o - 156 = -2*u, u - 3*u + 156 = 2*o. Let z be -2 + (-32)/(-14) - u/(-21). Let d be a(z). Is d at least as big as -4?
True
Suppose -61*a = -2*d - 62*a + 1523, 3*d - 5*a = 2239. Is 777 >= d?
True
Suppose -4*s = 0, 0 = -m - 2*s - 2*s - 529 + 448. Let q be -81 - (0 + -2)/(-2). Let d = q - m. Which is smaller: -1/29 or d?
d
Suppose w = 2*x + 341, 5*x - 129 = 5*w - 989. Let j = 677/4 + x. Let s = 10 - 9.91. Which is smaller: s or j?
s
Let p(s) = -4*s**3 + 2*s**2. Let g be p(-1). Suppose 34 = -3*a + 2*h, 4*a - g*h + 3*h = -47. Let u be 34/a + (-5 - -9). Are -4/9 and u equal?
False
Let r be 942/9 - 32/(-24) - 2. Let j = r + -104. Is -4/145 at least as big as j?
False
Let c(o) = -12*o + 4. Let u be c(5). Let k = u + 9. Let y be (-8*1/(-8))/(3227/(-322) - -10). Which is smaller: k or y?
k
Suppose -5*w + 4*d = -1520, 2*d - 190 - 1000 = -4*w. Suppose -15*x = 30 + w. Which is greater: -24 or x?
x
Let j = 82.26 - 17.26. Which is smaller: 2/109 or j?
2/109
Let t(l) = l**3 + 4*l**2 + l - 1. Let g be t(-3). Let s = 167 + -269. Let m = -96 - s. Is m not equal to g?
True
Suppose -p = -446 - 99. Suppose -5*d + p = 5*k, k - 333 = -2*k - d. Is 340/3 > k?
True
Let u be 0/((-2)/1) - (143 - 123). Let y(d) = 4*d + 86. Let v be y(u). Which is greater: 37/8 or v?
v
Let h(b) = b**3 + 14*b**2 - 13*b + 23. Let y be h(-15). Let w be (-3)/y + 0 + (-3053)/(-2709). Let g be -2*(-6)/(-4)*-1. Which is smaller: g or w?
w
Let p = -46.3 - 8.7. Let g = p + 41. Let m = 11 - 8. Which is bigger: g or m?
m
Let q = -1 + -10. Let n = q + 11. Let j be (-3)/((-180)/(-8)) - (-89)/330. Is j at least as big as n?
True
Let f be 646/(-12) + 2/4. Let z = 13377 + -13324. Let l = z + f. Are l and -1 nonequal?
True
Suppose 4*w - 10 = -2*y, 8 = 12*w - 10*w + 2*y. Which is smaller: -14/1175 or w?
-14/1175
Let y = 49045/61 + -804. Suppose -12*r = -16*r. Is r <= y?
True
Let d be (526*7/518)/(-1 - (3 + -3)). Is d < -6?
True
Suppose 290 = 5*s + 5*j, -56*s = -60*s - 3*j + 235. Is s < 62?
True
Suppose 5*k = 3*h - 32, -3*k = 5*h + k - 4. Suppose -h*c - 14 = -2*o, 8*o - 5*o + 24 = -3*c. Is c >= -4?
False
Suppose 0 = -u, 0 = -0*f + 3*f + 3*u - 9. Suppose -2*h = f*h - 5275. Let s be 4/16*40/h. Which is smaller: 1 or s?
s
Let r = -1503 + 1503. Which is bigger: r or -2/47415?
r
Let c = -4878649452 - -1094793330278116/224405. Let a = c - -2/1213. Is -1 less than a?
True
Let z be 13 + -15*2/6. Let o be 9/4 + 1/(-4). Suppose 4*k = -2*h + o, -3*k = 3*h - 4*h + 21. Do z and h have the same value?
False
Let i = -379.1 + 422. Let s = -11.9 + i. Is s smaller than -3?
False
Let t(k) = -366*k**2 + 373*k**2 + k**3 - 2*k**3 - 8*k + 2 + 10. Let a be t(6). Which is smaller: 8/7 or a?
a
Suppose -5*v = -3 - 22. Let r be -13 + (v - 2)*12/18. Let f be (9 + r + 5)*2/3. Is 2 less than f?
False
Suppose -16*u + 30 = -10*u. Suppose v = u*h, 3*v = 4*v - 2*h. Which is greater: v or 8/71?
8/71
Let r = -265 - -262.77. Let j = 7.23 + r. Which is smaller: -3/25 or j?
-3/25
Suppose -t - 1441 = -3*y, 1647 + 748 = 5*y - 3*t. Let a be 0 + 0 - y*5/10. Is a less than or equal to -241?
True
Suppose -4*g + 6*g + 5*z = 1, -4*z = -3*g + 13. Let k be (g/(-77))/((-9)/(-6)). Which is smaller: -1/3 or k?
-1/3
Suppose 10 + 242 = 2*b. Let s = -32 - b. Is -159 less than s?
True
Let j be (((-1752)/20)/((-21)/70))/1. Suppose j*y = 277*y + 5625. Which is smaller: y or 376?
y
Let b be -10*(84/(-10))/(-3). Suppose 123*y + 260 = 113*y + 3*m, 2*m = -4*y - 104. Which is smaller: b or y?
b
Let i = 55 + -49.8. Let l = 125.3 + -125.4. Does l = i?
False
Let f = -7/6 + 47/30. Let j = -86 + 86. Which is greater: f or j?
f
Suppose -33*w + 12*w + 1323 = 0. Let m = w + -62. Which is greater: 7/99 or m?
m
Suppose -z - 9 - 1 = 3*i, -35 = -4*z + 3*i. Let a(g) = g**3 - 9*g**2 + 10*g - 11. Let h be a(8). Suppose 3 - 13 = -h*n. Which is greater: z or n?
z
Suppose -b - 5*j + 1 = -4*j, 5*b + j - 1 = 0. Suppose 4*t + 4 + b = 0. Let r = 61/4 + -675/44. Are t and r non-equal?
True
Let k(j) = 4*j - 1. Let r be k(-1). Let c be (5/r)/(2/18). Let i = -151 + 142. Is i < c?
False
Let d(p) = -p**3 - 23*p**2 - 30*p - 46. Let y(v) = -v**3 - 23*v**2 - 31*v - 45. Let b(h) = -7*d(h) + 6*y(h). Let l be b(-22). Is 8 at least l?
True
Let h(n) = n + 2. Let p be h(-4). Suppose 5*i = 13*i - 328. Let y = i + -49. Is p greater than or equal to y?
True
Let y be 4 + 3 + (-2 - 1). Let u be (-16*(-6)/36)/(y/(-6)). Which is smaller: u or -40/9?
-40/9
Let f = -6750 - -7450. Which is greater: 709 or f?
709
Let n be (-136)/1547*(-1)/4. Let k = 614/237 + -91129/43134. Let q = k + n. Is 1 bigger than q?
True
Suppose -3*s - 241 = -k, s + 2*s + 245 = 2*k. Let h = -80 + s. Let d be (6*6/(-14))/(h/742). Is d at most as big as 9?
False
Let u be (-166480)/(-53) - (-2)/(0 - 2). Let w = -3140 + u. Is 1 not equal to w?
True
Let c = -4140 - -4529. Which is smaller: c or 387?
387
Let z be ((-12307)/(-2382))/(1/15). Is 0.4 equal to z?
False
Let f be (2/(-4))/(-1 - (-15)/20). Suppose -p + f*p = -5*k, -4*p = k. Let g = -125 - -120. Which is smaller: g or k?
g
Let k be (-110)/66 + (-34)/(-15). Let r(v) = v**3 + 15*v**2 - 35*v - 5. Let u be r(-17). Let z be -2 + -13 