 -98.88. Let i = -4.38 + 4.8. Let h = i - g. Is -3/5 at most as big as h?
True
Let d = 10.31619 - 0.31619. Suppose -4 = -0*k + k. Let f(a) = -a - 3. Let p be f(k). Which is bigger: p or d?
d
Let q be (7 - 2)/1 + (-13 - -11). Suppose 0 = 2*y + q + 15. Let c be (-2 + 0)/(y/54). Is 12 greater than or equal to c?
True
Suppose 0 = -4*o - 785 - 4795. Let x be -2 + 11 + (-8426)/(-6). Let u = x + o. Which is smaller: 19 or u?
u
Suppose -78 = -5*s - 28. Let u(n) = -n**3 + 12*n**2 - 16*n - 39. Let c be u(s). Which is smaller: c or -2/535?
-2/535
Let v = -139 + 6809/49. Let t be (1 + -2)*0/(-9 + 1). Suppose t = -3*x - 6, -13*x = 3*y - 10*x + 6. Is v not equal to y?
True
Let s be 438/584 + 0 + 1454/(-8). Which is smaller: -2 or s?
s
Let n be (-188280)/(-514140) - 8/22. Is 8/7 greater than n?
True
Suppose 5*f - 147 = 6*k, 3*k - 4 - 5 = 0. Is -31 at most as big as f?
True
Suppose 0 = -4*n - 5*i - 242, -85*i + 86*i = 2. Which is greater: n or -52?
-52
Suppose 29 = -3*p - d + 108, p - 17 = -5*d. Let x be (-15*24/p)/((-1)/(-3)). Is -43 at most as big as x?
True
Let d = 17224 - 2910854/169. Which is smaller: d or -6.4?
-6.4
Let a(n) = n**3 - 2*n**2 + n + 7. Let x be a(4). Suppose u = 3*u - 5*d - 86, -u + d = -x. Is u greater than 39?
True
Let z = 17387/45 - 1060/9. Which is greater: 269 or z?
269
Suppose -58*t = -60*t + 24. Suppose t*w = -6*w. Is w <= 1/4?
True
Suppose 50*h + 1539 = -15*h - 16*h. Is h >= -453?
True
Let i = -1/14813 - 24826585/44439. Which is smaller: -558 or i?
i
Let v = -136133 + 136172. Let s = 36 + 8. Which is smaller: v or s?
v
Let g(b) = 13*b + 6 + 8 - 15. Let v be g(-1). Is -14 greater than or equal to v?
True
Let u be (2/(-10))/(222/444). Which is smaller: 58/5 or u?
u
Let c = 1276 + -880. Suppose c = -4*n - 4*f, -5*f - 141 + 58 = n. Is -104 greater than or equal to n?
False
Let w be 3102/677270*5*(37 - -1). Is 0 at least as big as w?
False
Let i = 4.279 - -231.721. Which is greater: i or 2?
i
Suppose 0 = 28*s - 23*s + 2*l - 188, -52 = -2*s + 5*l. Let n be 4/s*(11 + -25). Which is greater: n or 5/2?
5/2
Let q be 4/3*(-21)/(-7). Let g be (-56)/(-49)*14/q. Suppose 4*n = -3*a - 0*a - 11, g*a = 3*n + 2. Is n less than or equal to -10/3?
False
Suppose 0 = -28*r + 8*r + 50 - 30. Which is smaller: r or 12/2425?
12/2425
Let w(x) = -13*x**2 + 7*x**2 + 3*x**2 + x**3 - 15 - 3*x**2 + 36 - 10*x. Let d be w(7). Are d and 3/179 nonequal?
True
Let i be -1 - 2 - -2 - 382/(-573). Are i and 1/3396 nonequal?
True
Let j = 438 + -425. Suppose -5*k = -2*c + 55, -c = -2*c + 5*k + 20. Is j at most c?
True
Let n = 7 + 0. Suppose -n*c = -8*c. Let i = 25.3 + 24.7. Which is smaller: c or i?
c
Let a = 1596 + -1500.1. Let s = -107 + a. Which is smaller: -0.1 or s?
s
Suppose 6682 = 123*f - 15194 - 11580. Is f > 273?
False
Let p(b) = 4*b**2 + 2*b - 5. Let n be p(2). Suppose -u + 3*x + 114 = 0, 3*u + 12*x - 372 = n*x. Which is smaller: 127 or u?
127
Let f = 119/5 - 3203/135. Let g = -29 + 31. Suppose 0 = g*n - 3 + 1. Which is greater: n or f?
n
Let g be 6/27 - (-296)/126. Let c(k) = 4*k + 7. Let t be 2/((-2 - (4 + -7)) + -3). Let l be c(t). Which is smaller: g or l?
g
Let d be 3/(-12) - (-1662)/(-40). Let o = d + 42. Let m(g) = -66*g - 9439. Let v be m(-143). Is o < v?
False
Let c = -2.2 - 0.8. Let q = -22 - -22.24. Let n = q + -0.44. Is n less than c?
False
Let z = 442 + -433. Suppose z*v + 329 + 715 = 0. Are -116 and v non-equal?
False
Let n = 2953 + -1867. Is n >= 1086?
True
Suppose -73 = 25*z - 123. Let q = 11/3 - 34/15. Is q != z?
True
Let i = 206 - 401. Let n = i - -198. Is 11 at most n?
False
Let j = -473.12 + 477. Let v = 29.12 + j. Which is smaller: v or -1/4?
-1/4
Let c be ((-25)/10 - (3 + -6))*4. Let q(i) = 10 - 19*i + c*i - 3 + 63*i**2 - 62*i**2. Let m be q(14). Is -36 at least as big as m?
False
Suppose -15 = -2*f + k, 0 = -f - 2*f - 5*k - 10. Let x be f/(-2)*(-2)/5. Let y be (-2)/10*2 - 84/(-160). Which is bigger: x or y?
x
Suppose 0 = 35*k - 62*k + 220*k - 21423. Is k greater than 556/5?
False
Let a = -88 + 93. Suppose -592 - 13 = a*j - 5*z, j - 2*z = -122. Which is greater: j or -121?
j
Let h(w) = -16*w - 613. Let a be h(-38). Which is bigger: a or 16?
16
Suppose 4*s + 12 = 36. Suppose -3*h - p + 10 - 32 = 0, -h + p = s. Which is greater: -34/5 or h?
-34/5
Let p be 3 + -7 + (17 - 30). Is -8 smaller than p?
False
Let i = 5922 + -6102. Which is greater: -173 or i?
-173
Let w be 741/26 - (-1)/2. Let q be (0 + -3 + 2)*w. Let k = -281/9 - q. Is k at least -3?
True
Suppose 2*t - 66 = -2*g, 4*g + 29 = 2*t - 55. Let w be (-189)/15 + t/60. Is w bigger than -12?
False
Let a be ((-69)/(-6) - 10)*(-2)/3. Let b = 1/118 - 25/16874. Which is smaller: a or b?
a
Suppose 5*c + 0*k - 215 = -2*k, -4*c = -k - 185. Let w be c/(-18) + -1*3/(-2). Is w < 1/226?
True
Let x be 1/(-4 + 405/100 + 0). Suppose -5*q - x = 4*r, 0 = -3*q + 5*r - 12. Is -4 smaller than q?
False
Let r be (1 - (-16)/(-6))/((-15)/18). Suppose 0 = -t + r*j - 3, 5*t + 2*j = 6*j - 9. Which is smaller: 13 or t?
t
Let t = -208.4 + 15.4. Let c = 193.1 + t. Does 12/7 = c?
False
Let z be (-14 - (20 + -31))/3. Which is greater: -2/76809 or z?
-2/76809
Let l = -3483 - -3466.7. Is 13 less than or equal to l?
False
Let l = -584.1 + 560. Let g = l - -23.1. Which is greater: 18.2 or g?
18.2
Let z = 2548 + -2553.73. Is z equal to 2?
False
Let r = 0.31116 - -0.18884. Is r at most as big as -4529?
False
Let c(i) = 3*i**2 + 11. Let z be c(3). Let n = -33 + z. Let d be n/1*(6 + (-312)/45). Which is smaller: d or -4?
d
Let t(u) = -38 + 114 - 31 - 41 + 3*u. Let x be t(4). Are 15 and x equal?
False
Let s(z) = -29*z - 1. Let b be s(-2). Let g be (-24759)/(-441) - (-5)/(-35). Are g and b unequal?
True
Suppose 2*y + 26 = c - 2*y, -5*y - 13 = 2*c. Let a = 1779 - 1773. Is c greater than a?
False
Suppose -6*t + t + 3500 = 0. Suppose -40*b - 2896 = -19475 - 11381. Does b = t?
False
Let a = -1.98 + -0.02. Let p = 312 + -311.747. Let t = -1.053 + p. Which is smaller: t or a?
a
Suppose -3 - 17 = 10*g. Let b be (g/(-12) - 7/42) + -1. Is 5 less than or equal to b?
False
Let m be 3 + 8 - 611/52. Which is bigger: -69 or m?
m
Let k = -102 + 1. Let r = k - -34. Do -65 and r have different values?
True
Suppose -5*l + 2*l = 2*v - 102, -v = 2*l - 49. Let x be v + (4/3)/((-8)/(-18)). Suppose -20 = -x*i + 56*i. Is i greater than 5?
False
Suppose v - 8502 + 2850 = -2*r, 10*r - 28248 = v. Which is smaller: r or 1/2?
1/2
Let w = 1 - 3. Let z = 3282.2 - 3161.2. Which is smaller: z or w?
w
Suppose 0 = 3*d - 12, -4*v + 1806 = -d - 322. Let s = v - 550. Is -28 at least as big as s?
False
Let r = -160 - -179.1. Let f = r + -21. Let j = f + -2.1. Which is smaller: -3 or j?
j
Let c(r) = -r**2 + 7*r - 6. Let y be c(6). Suppose -12*k + 23*k + 3542 = 0. Let w be (7/k)/(-1)*(1 + 1). Which is bigger: y or w?
w
Suppose -69*y = 72 - 141. Which is bigger: -6/607 or y?
y
Let c be 268/(-17353)*(-56)/48. Let u be -2*2/(-4) - 0. Which is bigger: c or u?
u
Let c = -1923154261 - -109364013365958/56867. Let m = c - 3/1387. Do 1 and m have the same value?
False
Let r = 16964123/1059 + -16019. Which is smaller: r or 1?
r
Let p = 1 - 0.9. Suppose 26*b + 2590 = -11*b. Let w = 56 + b. Are p and w unequal?
True
Suppose -3*l = 6*c - 2*c, -4*l = 5*c. Suppose 5*o - 420 + 45 = c. Suppose 304 = s + 3*s. Which is greater: o or s?
s
Let b = -2/7361 - -22267/677212. Which is smaller: 0 or b?
0
Suppose -3*x = -4*w + 36, -34 = -0*w - 5*w + x. Suppose 24*j = -w*j. Let b be (-16)/(-78) - (-2)/(-3). Which is greater: j or b?
j
Let q = -22 + 26. Suppose 0 = q*k + k + 25, 2*d = -2*k + 10. Let m(s) = -s**3 - 9*s**2 + s + 18. Let t be m(-9). Which is smaller: t or d?
t
Let k = -19652.96 + 19653. Let n = -133 + 95. Which is greater: k or n?
k
Let z = 10881 + -10861. Is -1 greater than or equal to z?
False
Let s be 2/(-795312)*602114 - (4 - 3). Let y = 1511/526 + s. Let r = y - 1/756. Do -1 and r have different values?
True
Suppose 2 - 14 = -4*j. Let x(o) = 95*o - 95. Let h be x(1). Suppose h = -u + 4*s - 0*s + 2, j*u + s - 71 = 0. Which is bigger: 23 or u?
23
Let z = -5.964 + 5.852. Which is smaller: 10 or z?
z
Let t = -81 + 81.029. Let v = -65.029 + t. Let z = v + 65.2. Which is smaller: 4/19 or z?
z
Let m(r) = -53*r + 442. Let a be m(9). Do -60 and a have different values?
True
Let a = 0.964 