5 + 4/15. Let h = b - 27/44. Let x = 1.6 + 40.4. Is x bigger than h?
True
Let w = -5011.9678 - -5012. Is w >= -0.5?
True
Let q be 6/(-168)*(-24)/(-15). Let c(y) = -y**3 + 27*y**2 + 23*y + 141. Let z be c(28). Is z equal to q?
False
Suppose 3*u + 12 = 3*z, 18*z - 17*z - 7 = 4*u. Which is smaller: 13/474 or u?
u
Let w = 2763 + -2722. Let s = -0.57 + -34.43. Let z = -34 - s. Are w and z nonequal?
True
Let c = 163.919 + -164. Let o = c - 0.319. Is 16 != o?
True
Suppose -5*q - 117 = 3*l + 37, l - 2*q = -33. Let h = 0 + -44. Which is greater: l or h?
l
Let g be ((-4)/(-5))/((-138)/(-575)). Which is smaller: g or -50?
-50
Let j(t) be the third derivative of -t**6/120 + 7*t**5/60 - 7*t**4/24 + 5*t**3/2 + 4*t**2 - 2*t. Let r = -49 + 53. Let w be j(r). Is w smaller than 36?
True
Suppose -34*d + 143 = -45*d. Is d at least as big as -380/27?
True
Let f be -1*3 - (12 - 17). Let y be (-17)/(-85)*f*15/6. Which is bigger: y or -2/649?
y
Let s = 2.8937 + -2.8937. Which is smaller: 3.3119 or s?
s
Suppose 20*k - 84 = 13*k. Suppose 7 = 4*n - 5*v - k, -5 = n + 2*v. Which is greater: 10/27 or n?
n
Let n(l) = -l**2 + 8*l + 8. Let f = -13 - -22. Let h be n(f). Let r be (-40)/(-25)*h/(-4). Is r not equal to 4?
True
Suppose -5*g + 4*i = 2459, -3*g = -4*i + 536 + 941. Do g and -495 have different values?
True
Let z be 10*(-34)/12*-3. Suppose 2*o = -5*d + 416, -d + 258 = o + 179. Which is smaller: z or d?
z
Suppose 117 - 51 = -3*a - z, 3*a + 75 = -4*z. Is a less than -35?
False
Let d = 126.85 + -175.85. Is -0.01 >= d?
True
Let a(g) = 11*g**2 + 3*g - 5. Let v be a(2). Suppose 7*f + 17 = v. Let x be f - (-5)/110*-36. Is 1 not equal to x?
True
Suppose 0 = -8*y - 9 + 65. Let x be (2/y)/((-10)/(-210)). Suppose 3*m - 9 = -x. Which is smaller: 2/231 or m?
2/231
Suppose 0 = 2*g + 2*v - 2, -5*g + 7*v - 5 = 2*v. Let x(o) = o**2 - 4*o - 38. Let s be x(8). Let p be (2 - s*(-26)/76)*-6. Is g smaller than p?
True
Let y(w) = -w + 1. Let s(m) = -8*m + 3. Let h(o) = s(o) - 4*y(o). Let b be h(-4). Let c = 1605.8 - 1606. Is b at most c?
False
Let a = 3750745 + -105009265/28. Let k = -414 + a. Which is smaller: k or 0.2?
k
Suppose 2*p - 5*x = 91, -x + 50 = p + x. Let k = 393 - 349. Let d = k - p. Is d < -9?
False
Let r = -47 + 52. Suppose 18 = -2*j + y, -13 = -2*y - r. Let c be (-1)/(-2)*j/7. Which is smaller: c or 2/11?
c
Let u be 695/(-3) - (-30)/45. Let z be 157/u + (-8)/(-12). Let d(f) = 14*f + 251. Let c be d(-18). Which is smaller: z or c?
c
Let m = 2.16 + -2.1. Let v = m + 0.15. Let p = 0.28 - v. Which is greater: -0.2 or p?
p
Let p be (-1)/(818/204 + 32/(-5 + -3)). Which is smaller: p or -922/9?
-922/9
Let p be (-1)/((-117)/447) + (-8 - (-84)/9). Is 5 < p?
True
Let o be (-84)/(-2630)*(-17)/(272/(-40)). Which is bigger: 1 or o?
1
Let a = -100 - -23. Let o = a - -80. Suppose -2*d = -5*r - 0*d + 1, -7 = -5*r - d. Which is bigger: r or o?
o
Let c(x) = x**2 + 20*x - 259. Let s be c(9). Is 39/55 > s?
False
Let j(l) = 4*l - 61. Let q be j(15). Let m(f) = f**2 - 21*f + 42. Let s be m(18). Which is greater: q or s?
q
Let d be ((-144)/40)/((-213)/(-180)) + 3. Let x = d - 251/781. Which is smaller: -21 or x?
-21
Let h = 69 - 124. Let s = h - -59. Let q = s - 4.3. Is q at least -8?
True
Let t be 126/18 - (-1847 - (30/(-3))/2). Which is smaller: t or 1852?
t
Let z be -243 - 13*(-17 + 16). Which is smaller: -232 or z?
-232
Let l = 0.06106 + 0.93894. Let c be (4 + -3)*(-6)/(-67). Which is bigger: c or l?
l
Suppose 7*t + 21 = 3*b + 36, -4*t + 20 = -4*b. Which is bigger: 2379 or t?
2379
Let d = -2396 - -1854. Which is smaller: d or -541?
d
Let k = 12849 + -12839. Let q be (-4)/(-6) + 76/(-6). Let b be (-54)/q - 3/2. Is k < b?
False
Suppose 58 = h + b, 2*b + 191 - 7 = 3*h. Let t = h + -58. Suppose 7*o - 3*o + 56 = 0. Is t bigger than o?
True
Let n(d) = -6*d + 53. Let w be n(8). Suppose -479 = 3*u - 5*x, 2*u - w*x + 228 + 93 = 0. Are -156 and u unequal?
True
Suppose 0 = 2*r - 93 + 93. Suppose -3*u + 5*s + 2 = -r*u, 0 = 4*u - 4*s. Does u = 5/51?
False
Let c = 31695 + -32007. Is c not equal to 0.14?
True
Let t be (28/(-105))/(12/(-290)). Let n = 3990 - 3985. Which is smaller: t or n?
n
Suppose 2*u = -2, 3*u - 31 = -2*m - 0*u. Suppose -4*t + 21*j + 92 = m*j, 0 = -2*t - 5*j + 60. Let c be (-9 - 1)*15/(-6). Are c and t nonequal?
False
Let a(j) = j**2 - 6*j + 3. Let k be a(5). Let f be 456/(-227) + (3 - (10 + -9)). Let n = f - 2941/1135. Which is smaller: n or k?
n
Let j(x) = 2*x**3 - 3*x**2 - 11*x + 10. Let u be j(4). Let d be 1059/21 + (-8)/(-14) + -1. Is d at least u?
True
Let z(q) = 2*q**2 + 4*q + 10. Let s be z(6). Let n be s*4*2/(-4). Which is greater: -213 or n?
n
Let t(x) = x**3 + 8*x**2 + 12*x + 15. Let n be t(-7). Let m be (-434)/n*(7 - 8). Let g = m + 96/5. Is -4 equal to g?
False
Let s = -527/6 + 529/6. Which is smaller: 59.7 or s?
s
Let h = -2322 + 9287/4. Is h greater than or equal to 5801?
False
Let n = 377 - 640. Let j be 36/396 - n/11. Is j at least 23?
True
Let v(h) = -8*h + 23. Let f be v(-21). Suppose -4*y - 4*s - 172 = 0, -26*y + 31*y + f = s. Let c(u) = 11*u + 3. Let q be c(-4). Is q bigger than y?
False
Let w be -2678*((-152)/112)/(-19). Let h be (-575)/(-3) - 6/9. Let p = h + w. Which is smaller: -1/5 or p?
p
Let i be (-3)/(-6)*(10 + 0). Suppose 2*m + p - i = -3*m, -4*m = 2*p - 4. Is -8/133 at least as big as m?
False
Suppose 0 = 2*o - 5 + 1. Let z = 22.1588 - 0.1588. Which is smaller: o or z?
o
Suppose 8*r - 109 = -277. Let x be (-972)/r + (-16)/56. Let l = x - 49. Do l and -4 have different values?
True
Let v be (-2)/(-1) + (-10138)/(-959)*(-143)/2. Is -753 at least as big as v?
True
Let r(n) = -n**3 + 11*n**2 - 15*n - 22. Let l be r(9). Suppose l*x - 8 - 17 = 0, -5*t - x - 180 = 0. Let b = 46 + t. Which is smaller: -2 or b?
-2
Suppose -6 = n + 1. Let f = 719 + -689. Suppose 0 = 4*t + g - 4*g + 40, 2*t - 4*g + f = 0. Is n equal to t?
True
Let p = 1231 + -1225.918. Let k = 88.918 + -89. Let o = k + p. Which is bigger: o or -6?
o
Let b be ((-2044)/(-98))/(42/(-49)) - 6. Suppose o = -20 - 10. Are o and b equal?
False
Let k = -47 + 56. Suppose 2*n + 5 + k = 0. Suppose -50 = 3*p + 4*w, -3*p - 2*p = -4*w + 30. Is p >= n?
False
Let f = -3150 + 12601/4. Let c = -0.2 + 0.219. Are c and f equal?
False
Let y(o) = 2*o**2 + 158*o + 5281. Let a be y(-27). Which is greater: a or 0?
a
Let k = -6106 + 7492. Do 1387 and k have the same value?
False
Let x = 361531485/3221 + -112242. Which is smaller: 1 or x?
x
Let w(g) = 2*g**2 - 201*g - 1854. Let p be w(109). Is 15/1484 less than or equal to p?
False
Let j be (379/29)/(120/86495). Let h = j + -9420. Is h at most -1?
False
Suppose -195*d + 27717 = -16548. Which is bigger: d or 221?
d
Suppose -23205 = -59*f + 58156. Which is smaller: f or 4133/3?
4133/3
Suppose 21*l - 27*l = -1194. Suppose 0*y = 3*y + u - l, -5*y + u + 345 = 0. Is y not equal to 68?
False
Let v(a) = 103*a + 115. Let p be v(-5). Let b be (-19)/(-57)*(1 + p). Which is smaller: b or -132?
b
Let i be 0 + (1133/(-5) - 1). Let p = 67082/295 + i. Do p and -1 have the same value?
False
Let l be 1/(-12*6/(-161064)). Which is smaller: l or 2239?
l
Let k = -702169/245 - -2866. Suppose 2*i - 2 = 4*n, -5*i + 2*n = -3*n. Is i < k?
True
Let x = -1745/12474 + 2/567. Let w = 29/110 - x. Let j be 20/(-5) - 68/(-15). Is w greater than j?
False
Let o be -7 + (4 + -6 - -125)*1 + 0. Let w = 268 - 154. Are w and o non-equal?
True
Let h(w) = w**2 - 22*w - 46. Let z be h(24). Suppose 3*v = z*c - v - 102, 5*c - 267 = -2*v. Which is bigger: 54 or c?
54
Let t be 1/(-16) - 0/(-1). Suppose 47*k - 57*k = -10. Suppose -d + 3*u - 3 = 6*u, -k = 2*d + u. Does d = t?
False
Let k(w) = -w**3 + 3*w**2 + 2*w + 5. Let a be k(4). Let n be (-1317)/4 - (-9)/(-12). Let z = -2306/7 - n. Is a bigger than z?
False
Let g be (-4)/7 - (-2)/3. Let f(u) = 2*u**2 + 102*u + 100. Let l be f(-50). Suppose l = 52*y - 45*y. Is g != y?
True
Let y(i) = -3*i**2 - 169*i - 63. Let p be y(-56). Which is smaller: 154 or p?
p
Let f = -10722 - -10723. Let j be -25*(-1 - -2) + 3. Let z be 4/(-24) - j/(-300). Is z equal to f?
False
Let y = 339/20 + -17. Let a be (-29)/(-5) + 11/55. Suppose 2*f - a*f = -4. Which is smaller: y or f?
y
Let z = 3303 + -3383. Which is smaller: z or -81?
-81
Let y = -222 - -217. Let l = -227 - -339. Let o be (l/240)/((10