t b = 1262 - 1261. Which is smaller: 11.74 or b?
b
Let n = -867.7 - -860.7. Which is smaller: n or 2051?
n
Suppose 4*m - 8 = -0*m, -3*m = l - 33. Let t(i) = i**3 - 23*i**2 - 118*i + 275. Let n be t(27). Is n at most l?
True
Suppose -128*j - 259367 - 505008 = -3*j. Is -6114 at least j?
True
Let g be (-9)/6*2 - -7. Suppose -g*h - 18 = -3*u - 1, -3*h - 4*u - 19 = 0. Let v be (-2)/5 - 242/70. Is v > h?
True
Let f be -7 - ((-44828)/637 + 5). Let y = -414/7 + f. Is -2 < y?
True
Suppose 0 = o, -f = -5*o + 8*o - 12. Suppose 4 = 2*w, -f*p + 10*p = 2*w + 288. Which is greater: p or -145?
-145
Let a = -7523 + 7523. Let q(z) = -z**3 + z - 2. Let r be q(-2). Suppose a = b + r*b + 25. Does b = 2?
False
Suppose 0 = 84*d - 100*d - 0 + 16. Which is greater: d or 11/203?
d
Let p = -18318815 + 18332754.969. Let x = p + -13946. Let q = x + 0.031. Are -0.3 and q non-equal?
True
Let z(c) = c + 7. Let y be z(-4). Let d be (1*-2 + (-12)/(-8))*-8. Let g be (4/10 - d/10)/(-2). Which is smaller: y or g?
g
Let v be (-162045)/(-270) - (-9)/(-2). Is 596 at most v?
False
Let n = -4.315 + 3.28. Let w = -0.035 - n. Let p = 51 + -89. Is p >= w?
False
Let m be (-4 - 35840/(-90))/((-6)/9). Which is smaller: m or -591?
m
Let c = -0.273 + 1.063. Let z = c + -1.79. Which is greater: 0.036 or z?
0.036
Let s be (6/(12/(-19)))/(1/2). Suppose -5*k + 110 = -k - 2*j, 0 = 3*k + 2*j - 100. Suppose 55 = -5*u - k. Which is smaller: s or u?
s
Let a be 2/(-52)*(-8)/5. Let r(f) = 10*f**2 - 23*f + 5. Let h = 196 - 194. Let u be r(h). Are u and a non-equal?
True
Let t = -12009 - -492372/41. Let x = -2 + 2. Let g(k) = k. Let o be g(x). Which is smaller: t or o?
o
Let a be 2/(-6)*6/54. Let d be (452/270)/2 - 1. Let x = d + a. Which is greater: 1 or x?
1
Suppose -78*f = -68*f + 260. Let k be (-152)/76 + (-28)/f. Does 1 = k?
False
Let m = 61 - 67.37. Let u = -141.37 - m. Which is greater: -0.3 or u?
-0.3
Let f be (4/(-30)*-159 - (-108)/135) + -4. Let w = 148 - -210. Suppose -f*k = w - 1456. Which is smaller: k or 62?
k
Let h(l) = -l**3 + 7*l**2. Let c be h(-3). Suppose 0 = -3*t - 5*z + 275, 2*z + 178 = 4*t - 2*t. Is c <= t?
True
Let k be (18/(-24))/(7 - 54/8). Is 1442 < k?
False
Suppose 34*t = 36*t + 100. Let l be (-266)/5 - 10/t - -2. Let f = l - -81. Is 30 smaller than f?
False
Suppose -k + 26 = 5*x, -4*x - 2 = -x + 5*k. Let t(p) be the first derivative of -3*p**2/2 + 19*p - 12. Let u be t(x). Are 2/15 and u equal?
False
Let x(w) = -227*w + 2996. Let t be x(14). Which is greater: -183 or t?
t
Let f = -90 + 162. Let y = f - 71. Let s(x) = -15*x**2 + 3*x - 3. Let g be s(y). Which is smaller: g or -2?
g
Suppose 0 = 36*u - 37*u - 2*v + 5, -3*v = -5*u + 51. Let y(o) be the first derivative of o**3/3 - 7*o**2/2 - 21*o + 1. Let q be y(u). Which is greater: q or -6?
q
Let d = -0.1 + 0. Let b = 46355 + -46452. Is b >= d?
False
Let d = 87.64 - -0.36. Let j = d - 126. Let i = j - -37.99. Does 1/3 = i?
False
Suppose -2 - 70 = -6*y. Suppose -41*c = -43*c + y. Which is smaller: -4 or c?
-4
Let n be (-156)/(-121355)*(-19)/(456/(-80)). Is 1 less than or equal to n?
False
Let s = -41233/4 + 10309. Is 8/39 >= s?
False
Suppose -1164*q + 1156*q = 0. Which is smaller: -10/469 or q?
-10/469
Let i(a) = 5*a**2 + 4*a. Let r(l) = 25*l**2 + 19*l. Let n(v) = 11*i(v) - 2*r(v). Let p be n(-1). Is p less than 4/93?
True
Let u be (-12 - -13)/((-2)/(-80)). Suppose 0*d + 32 = d - 5*v, -5*v + u = 5*d. Suppose -4*i - 10 = -2*t - 2*i, -2*i = -4*t + d. Is 6/29 smaller than t?
True
Let g(q) = q**2 + 9*q - 15. Suppose -3*u - 18 = -3*l, 2*l + 6 = l - 3*u. Let f be g(l). Which is smaller: 98/5 or f?
98/5
Suppose 2*u - 9 - 9 = -2*k, -2*k - u + 13 = 0. Let m be (k*3/8)/(-3). Let z = 1397/9 + -155. Which is smaller: m or z?
m
Let w = -19119 - -19118. Which is smaller: w or 1/10847?
w
Let z = -0.048 - -31.048. Let g = -0.88 + -35.12. Let o = z + g. Which is smaller: o or 6?
o
Suppose -2 = -2*o + 4. Suppose -2*r = -o*i + 10 - 2, -i = -5*r + 6. Let t be (1*24/30)/(i/(-30)). Is t greater than or equal to -8?
True
Let r = 2 - 0. Suppose 4*b - b + 2*v = -61, -r*v + 2 = 0. Let u be b/(-14) + ((-206)/(-12))/(-1). Is -16 > u?
False
Let r = -1744/3 + 581. Is -309 <= r?
True
Let v be 4/176*128/(-2576). Let y(l) = 5*l - 6. Let r be y(1). Which is bigger: v or r?
v
Let n(o) = o**3 - 11*o**2 + 7*o - 4. Let b be n(4). Let w = -88 - b. Suppose w = -30*c + 21*c + 234. Are 26 and c non-equal?
False
Let t = -329 + 329.408. Let o = 0.174 - t. Do o and 1 have different values?
True
Let s be (844/(-280) - 3/(-2))/(350/53375). Does s = -231?
False
Let k(f) = f**2 + 247*f + 3042. Let q be k(-13). Is q less than 1/37732?
True
Let j = -3244 - -4055. Is 809 equal to j?
False
Let h = -88292 - -233444045/2644. Which is smaller: h or -0.1?
-0.1
Let d(t) = 3*t - 1. Let b be d(0). Let z be 6/(2*b) - (-12 - -7). Let f be ((-10)/8*z)/((-2)/(-4)). Which is bigger: -6 or f?
f
Let g = 527 - 530. Let a be 1*g/9*-3. Is -1/353 at least a?
False
Let a be ((-2)/(-6 - -2))/((-62)/19964). Is a != -1132/7?
True
Let a = 18270 + -18310. Is a at least -71?
True
Let t = 0.065 - 162.065. Let u = 242 + t. Let i = u + -79.9. Which is smaller: i or -9?
-9
Let d = 61/3 - 21. Let s = -309365 - -309362. Is d less than or equal to s?
False
Let l = 570 + -364. Suppose 242 = -28*c - l. Suppose -3*x - 5 = -2. Are x and c non-equal?
True
Let x = 303383/230 - -761/46. Is x smaller than 1335?
False
Let f = -1.61 + 1.82. Which is smaller: f or 1/112?
1/112
Suppose -5*t - 37 = -2*l, 0*t = -l + 3*t + 20. Let p = -957 - -952. Which is smaller: l or p?
p
Suppose -g + 24 = 2*g + 3*d, -3*g - 11 = -2*d. Is g < 1/213?
False
Let z = 47 + -48. Let x be 5 + (1 - (5 + z)). Let c be (-9 + 6)*x/(-26). Is -0.1 bigger than c?
False
Let c = -8.856 + 0.056. Let s = 4 + c. Let j be (-1)/(-2)*24/(-14)*6938/20814. Is j <= s?
False
Let x(k) = k**3 - 5*k**2 - k + 9. Let p be x(4). Let v be (-9 + (-2 - p))*1/(-1). Which is bigger: v or 3/8?
3/8
Suppose 2*z = 4*c + 88, 5*c + 220 = 9*z - 4*z. Let b be (z/495)/(2/(-12)). Is -2 greater than or equal to b?
False
Suppose 20272*r - 20267*r = 445. Is r at most 441/5?
False
Let f = -5846 - -5834. Is -58 greater than or equal to f?
False
Let w be 0/(-11 - (-24)/(-40)*-15). Is 2/24307 <= w?
False
Let m be (-32)/1016*8/16. Let u(x) = -5*x - 30. Let k be u(-6). Which is smaller: k or m?
m
Suppose -231 = -24*o + 633. Suppose o = -c + 24*w - 27*w, -3*w - 12 = 0. Do -28 and c have the same value?
False
Let i = -2.28 + 0.98. Let c = i + -8. Let h = c + 10.4. Which is greater: 1/2 or h?
h
Let u(d) = -31*d + 76. Let p(x) = -17*x + 38. Let t(y) = 7*p(y) - 4*u(y). Let h be t(5). Which is bigger: -93/7 or h?
h
Let c(n) = -1510*n - 9512. Let k be c(-12). Is 8609 smaller than k?
False
Let y = 1827 - 1826. Which is smaller: y or -66.55?
-66.55
Suppose f - 4*j = 555, -6*f = -8*f - 4*j + 1134. Suppose -2*r + f = -5*z, 11*r - 3*z - 553 = 9*r. Is r bigger than 269?
False
Suppose 36*v - 3568 - 3035 - 2325 = 0. Is v bigger than 2730/11?
False
Let t = 0.202 + -1.122. Let c = t - -0.92. Is c <= 1/48?
True
Suppose -4*y + 44*s + 14 = 41*s, -y - 5*s - 31 = 0. Which is greater: y or 20/481?
20/481
Let n(g) = 35*g**2 + 56*g - 623. Let h be n(12). Is 5089 equal to h?
True
Let b(y) = -y**3 + 5*y**2 + 10*y - 9. Let h be b(6). Let p(d) = -10*d - 9. Let w be p(-2). Suppose w*l + 40 = h*l. Is l less than or equal to 10?
True
Let y = -17027/3355 - -721628/164395. Let p = y + 36/49. Which is bigger: -1 or p?
p
Let t = 32 - 20. Let v = t - 11.999. Let o = 0.001 - v. Is o greater than or equal to 13?
False
Let j = 82 + -100. Let b = -68 - j. Let q = 301/6 + b. Which is bigger: 0 or q?
q
Let y(b) = -53*b + 37. Let o = -427 - -429. Let k be y(o). Are -71 and k non-equal?
True
Let o = 146/2109 + 4/111. Is o < 39?
True
Let m(b) = -19*b - 17. Let v be m(-8). Let d(r) = -2*r + r - v + 160 + 3*r. Let t be d(-5). Is 15 greater than or equal to t?
True
Let y = 6 - 6. Suppose y = -0*z - 3*z + 45. Let g be (-21)/10*(-385)/66 - (-6)/8. Which is bigger: g or z?
z
Let w be (-10 - -11) + -2*(-5)/2. Let c be (-4)/((-180)/5)*(3 - w). Is -0.4 smaller than c?
True
Let g = 103 - 102.9345. Let u = 41.1655 - g. Let w = 39 - u. Which is greater: -1/4 or w?
-1/4
Let l be 300/(-30) + -1580 + 7. Is -1582 != l?
True
Let m = 10542 - 10587. Which is