8 + 445.98. Is r less than or equal to -1.3?
False
Let h = -15 - -1. Let u be 21/h*304/6. Which is bigger: u or -227/3?
-227/3
Let t(l) = 3*l - 51. Let g be t(19). Suppose g*v = 26*v. Is 1 > v?
True
Let y(k) = -k - 2. Let x be y(-2). Let r = 523/3 - 184. Let v = 10 + r. Is v > x?
True
Suppose 1 - 7 = -6*j. Let g(t) = -44*t**3 - t**2 + 3*t - 2. Let d be g(j). Let c be (d/165)/((-6)/80). Which is smaller: 3 or c?
3
Let s(r) = r**2 - 6*r - 60. Let m be s(-6). Suppose -m - 5 = c. Is 3 not equal to c?
True
Suppose -5*n + 7*n - 3*x - 2 = 0, -5*n - 5*x + 5 = 0. Suppose -202*b - n = -201*b. Is -3 greater than b?
False
Let k = -15 - 4. Suppose m - 881 = -862. Suppose -m*x - 152 = -11*x. Is x >= k?
True
Let l = 41/3 - 127/9. Suppose -v + 216 = 215. Is v >= l?
True
Let n(h) = 12*h**2 + 2*h + 3. Let i be n(-1). Suppose 7*w - 180 = i*w. Let y be (-2)/10 + 1584/w + -5. Are -57 and y nonequal?
True
Let m be 9/4 + (-2)/8. Let g = -0.71799 - 12.28201. Which is smaller: g or m?
g
Let y(c) = -390*c - 7405. Let u be y(-19). Let n(s) = 6*s**2 - s. Let t be n(1). Suppose t*w = 4 - 19. Which is bigger: w or u?
u
Suppose -4*k - 31 + 3 = 0. Suppose -3*p + 0*i + 357 = 3*i, -585 = -5*p - 3*i. Let r = 118 - p. Do k and r have the same value?
False
Let v = -142522 + 15962361/112. Let m = 1/16 + v. Suppose 5*f + 13 = -3*l, 10 = -2*l - 3*f - f. Which is greater: m or l?
m
Suppose 4*c = 2*m + 2*c, 3*c = -2*m - 10. Let o(i) = 4*i**2 + 7*i - 1. Let x be o(m). Which is smaller: 11/48 or x?
11/48
Let c = -4922669 + 4922597. Suppose 0 = 4*x - 2*h - 4, -5*h = x + 21. Let i be -60*(x + (-22)/(-10)). Is i > c?
False
Let s = -4271/8 + 72489/136. Are 0 and s unequal?
True
Let g = -13687/16 + 855. Suppose -6*b + 1272 - 1266 = 0. Which is bigger: b or g?
b
Let k = -71 - -70.798. Let g = -11329.9 + 11330. Which is smaller: k or g?
k
Let x be (-6)/(-8) - (-178)/8. Let z = -35 - -12. Let y = z + x. Which is bigger: -4/9 or y?
y
Let i = -25504 - -25464. Which is greater: -61 or i?
i
Let i = -508 + 472. Let s be (3/i)/((-3)/27*3). Which is greater: -2.2 or s?
s
Let o be (-3 + 0)*(-438)/(-73). Let i be (o/9 - -3)/((-362)/24). Which is bigger: 0 or i?
0
Let z = -91.91 - -92.11. Which is smaller: z or -35/48?
-35/48
Suppose 30*r + 21700 = -40*r. Is r at most -308?
True
Let d be 1 + -2 + 2 + -4. Let k be (4/3)/(1/(d/(-2))). Let g be k/(-3) - 265/(-420). Which is smaller: 0 or g?
g
Suppose -23*y + 32*y + 5796 = 0. Let i be y/(-24)*-2 - (-16)/(-12). Which is bigger: i or -56?
i
Let t = -23 + 41. Suppose 9*z + 2 = 10*z. Suppose j = -5*r + 8, -z*j - 2*r - 2 = j. Is t at most as big as j?
False
Suppose -2*q = -0*q + 14. Let m = -1 - q. Let o = 26464/5739 + 106/1913. Which is smaller: m or o?
o
Suppose 5*u = 0, p + u - 16 = -u. Suppose p*h = -26*h + 168. Is -49 at least h?
False
Let t(h) = -h**3 + 15*h + 31. Suppose -o + 4 = 3*u + 3, 3*o - 5*u + 25 = 0. Let a be t(o). Which is bigger: a or 80?
a
Suppose -g + 5*g - 4*s = 12, g + s + 3 = 0. Let j be (-3)/61*28771/(-1). Let y = 1415 - j. Is y <= g?
False
Let j = 1880 - 156038/83. Let f = 2168/415 - j. Is 5 at least f?
False
Let a(g) = -3*g**3 - 86*g**2 - 54*g + 55. Let r be a(-28). Let d be (3 - 1)*(1 + -3). Let q be ((-2)/d)/(147/(-36)). Is r equal to q?
False
Let m = -1402 + 1470. Which is smaller: m or -5?
-5
Let s be 3 - (-4 - 0)*(-2)/(-8). Let o = -743 + 745. Which is smaller: o or s?
o
Let k be (-2)/(-7)*(7 - ((-107334)/(-5366) - 13)). Is k at least as big as -1?
True
Suppose 288*b + 103 = -219 + 34. Is -58/471 less than or equal to b?
False
Let f(u) = u**2 + 13*u + 13. Let z(o) = -o**3 + 22*o**2 - 19*o - 54. Let s be z(21). Let r be f(s). Let x be 2/6*2/1. Is x < r?
True
Suppose 5*k - 40705 = 5*a, 16278 = -27*k + 29*k - 4*a. Does 8142 = k?
False
Let z be ((-8)/(-3) - 2) + 12/9. Suppose 7*w + z*w = 0. Which is bigger: w or 14/51?
14/51
Suppose 4*o = -10*o. Suppose -11*f + 9*f = 0, o = -4*b + f - 756. Which is smaller: -190 or b?
-190
Let w(l) = -l + 3. Suppose 0 = -7*s + 11*s - 12. Suppose s*z = 5*p + 15, 6*p + z + 9 = 3*p. Let y be w(p). Is 3 greater than y?
False
Let b = 26491 + -26617. Which is smaller: -117 or b?
b
Suppose 2*a - 99 = -9. Suppose a*x = -9 + 9. Is 2/275 greater than or equal to x?
True
Let m = -750.49 + 752. Which is smaller: m or 0.1?
0.1
Let s = -2084 + 2083. Let h = -18 - -8. Let r = h - -5. Which is bigger: s or r?
s
Let n = 12629 + -12604.22. Is 0.2 < n?
True
Let n be (0 - (-60)/16)/(15/(-25580)). Which is greater: -6394 or n?
-6394
Let h be (5/(30/153))/6. Let r(t) be the third derivative of t**5/30 + t**4/6 + t**3/2 - 20*t**2. Let v be r(-2). Which is smaller: h or v?
v
Let v = -0.766 - 188.234. Let w = -2.9 - -2.8. Which is smaller: v or w?
v
Let g(h) = -2*h**2 + 12*h + 85. Let o be g(10). Let v be (-5 - o)/(9/(-27)). Which is smaller: 31 or v?
v
Let j = -5.32 - 108.68. Let w = -32 - -97/3. Which is smaller: j or w?
j
Let j = -96 + 100.7. Let n = 4.631 - j. Let d = 0.031 - n. Which is bigger: d or 14?
14
Let m = 17.00322 - 0.00322. Do m and 0.01 have different values?
True
Let g = -9534 + 8960. Is -564 less than g?
False
Let x(w) = 160*w - 1887. Let h be x(9). Is h != -435?
True
Let u = 38 - 34. Suppose 6*p - 1 = -4*b + p, u*p - 2 = -2*b. Is b greater than 1/186?
False
Let v = 19 + 1. Suppose 6*j = 3030 - 2904. Which is greater: j or v?
j
Let p = 3399 + -3318. Let b(t) = 9*t**3 + 3*t**2 - t - 2. Let a(v) = -v - 6. Let j be a(-8). Let w be b(j). Which is greater: w or p?
p
Let w = 7/64 + -37/1216. Suppose 0 = -m - 2, 5*s = 4*s - 4*m - 7. Are w and s non-equal?
True
Let m be (0 - -3) + -7 + -1208. Which is greater: -1209 or m?
-1209
Let h = 567 + -563. Suppose h*q = -12*q - 272. Which is smaller: -16 or q?
q
Let o = 0.17 - -52.24. Let l = 0.59 + o. Let p(m) = m**3 - m + 1. Let w be p(0). Do l and w have the same value?
False
Let j = -997 + 965. Suppose n - 3*p - 46 = 3*n, -n - 23 = -3*p. Let z = j - n. Which is bigger: z or -0.1?
-0.1
Suppose -18546 = -58*h + 25*h. Which is smaller: h or -4/5?
-4/5
Let s be (-16)/40 - 336/(-890). Let i = 5509 + -5511. Is s > i?
True
Let s(y) = 5*y**2 - 10*y - 9. Let j be s(-1). Let v(n) = 24*n - 132. Let a be v(j). Do 12 and a have different values?
False
Suppose -12 = 3*o + o, 2*o + 382 = 4*g. Suppose -6*c - 7350 = -7896. Is g greater than c?
True
Let x = -0.87972 + 12.87972. Let b = 0.05 + 0.25. Is x bigger than b?
True
Let n be 366*((-3)/6 + 7/6). Let w = 116 - n. Let y be w/(-370) - 4/10. Which is greater: 1/2 or y?
1/2
Let f = -277 + 250. Is f at most -35?
False
Let m = 51 - 72. Let d be (-8 - m)*2*1. Let w be d/(-18) + (-3)/9. Which is smaller: w or -3?
-3
Let f = -1666 - -549. Is -1118 equal to f?
False
Let k = 144.97 - 145. Let j = -14.5 + 14.4. Is j != k?
True
Let o(g) = -2*g**2 - 28*g + 47. Let z be o(-22). Let n = z - -289. Which is bigger: n or -106/7?
-106/7
Let g = -2 - -3. Let k be -1*1 - (-37 - 195). Let v be ((-2)/6)/(k/63). Is g not equal to v?
True
Let l = -143 - -177. Let n = 33 - l. Is 8 at least n?
True
Suppose 2*g - 1455 + 148 = -k, 5*k + 1325 = 2*g. Let f = g + -446. Which is smaller: f or 208?
208
Let q = 2/349 + -1133/15007. Let m(d) = -4*d**2 + 3 + d + 29*d**3 - 48*d**3 + 18*d**3. Let b be m(-4). Which is smaller: b or q?
b
Suppose 877*j = 870*j + 63. Let w be ((-12)/(-9))/(4/36). Which is greater: w or j?
w
Let y = 41 + -38. Let f be (-11)/11 - y/1. Which is smaller: f or 2?
f
Suppose -2*m + 5*z + 25 = 0, 0 = 4*m - 2*m + 5*z + 5. Let a be 9*m*(-5 - (-27)/5). Let p = 252752/14695 - -2/14695. Is a >= p?
True
Let b = 179974840/1811029 + -6062/61. Is b equal to 1?
False
Let a be 3*7/14*(-2)/3. Let t be (a/(-154))/(171/(-37354)). Let l = t - 1/99. Is l greater than -2?
True
Suppose -2*y = -y + b + 89, 0 = -3*y + 2*b - 257. Let g = y + 67. Which is bigger: -19 or g?
-19
Let p(z) = z**2 - 5*z + 2. Let v be p(0). Let n be (-1)/v - 11/(1100/(-42)). Suppose -11*x = -11 - 0. Which is bigger: n or x?
x
Suppose 0 = -8*c + 89 + 175. Suppose -2*u + c - 1 = m, 6 = 3*u. Is m at least 33?
False
Let i = 16671 + -15638. Is 1034 equal to i?
False
Let l = 250.85 + -5035.85. Which is greater: -1 or l?
-1
Let b be (10 + -5)*(0 + 2 - 1). Suppose -b*r + 1 = 11. Let g be 0 - ((-33)/22 + (-5)/r). Which is bigger: 3/29 or g?
3/29
Let m = 2974 + -1674360/563. Are 1 and m non-equal?
True
