-0.1. Which is greater: o or b?
b
Let j(q) = -195*q**2 + 7*q + 46. Let k be j(-4). Is -3102 at least as big as k?
True
Let t = -29 + 17. Suppose 16*m - 1940 + 484 = 0. Suppose -10*c - 3*c = m. Is c equal to t?
False
Let k = -6932 - -7563. Is 635 less than k?
False
Suppose -5*a + 5 = -5. Let q be (-1*4/(-8))/(a/16). Suppose q*r - 296 = -0. Is 75 equal to r?
False
Let a = 41.843 + 0.057. Let c = -70 - -112. Let h = a - c. Is h at most as big as 11?
True
Let b(w) = w**3 - 18*w**2 + 19*w - 34. Let k be b(17). Let f = 23539/44 - 535. Which is smaller: k or f?
f
Let d be 0*2/(3 - 1). Suppose 2*q + 8 = -2*q - 4*g, d = 2*q - 4*g + 4. Let s be 15/(-5) - q*2. Is s not equal to -1/26?
True
Let i = 220706 - 220705. Let p = 9 - 9.48. Let s = p + 0.13. Which is smaller: s or i?
s
Let j = -618338 + 48860450424/79019. Let o = j - -3471274/219751839. Let k = o + 6/103. Is k greater than -1?
True
Let x(j) = -323*j**2 + 20*j - 88. Let d be x(8). Let r be 2/6 - d/(-60). Is r > 2?
False
Suppose 72 = 24*o - 42*o. Let v be (-2)/o*672/24. Suppose -l = l. Is l >= v?
False
Let j(x) = 5*x**3 - 5*x**2 + 14*x + 60. Let c be j(10). Suppose -5*d - c = 45*d. Are 2 and d equal?
False
Suppose -4*n = 5*s - 11, -3*n + 0*n = s. Let i(z) = -z - 1 - 3 - z**3 - z + 5*z**2. Let p be i(3). Is n less than or equal to p?
True
Let x = -4166 + 4166. Let k be 1540/765 - 2*1. Is k at least as big as x?
True
Let w(r) be the third derivative of r**5/20 - r**4/24 + r**3/3 - 823*r**2. Suppose 0*y = y. Let a be w(y). Is a != 17/6?
True
Let y = 6892 + -6892. Which is greater: 2/561 or y?
2/561
Let a(f) = 1871*f**2 - 64*f + 129. Let j be a(2). Is 7486 smaller than j?
False
Let f be (-1)/1*(-6)/123. Let q = 3376 - 3377. Which is smaller: f or q?
q
Let m(l) = 867*l**2 - 305*l - 305. Let n be m(-1). Does n = 12?
False
Suppose -4*t = 5*k - 12, 3*t - 10 = -1. Suppose 4*d - 5*n = -490 - 124, k = -2*d - 2*n - 316. Do d and -156 have the same value?
True
Let z be 0/(-10) - 49*(-1 - 0). Suppose 5*d - 4*l + 290 = 0, -d - z = 4*l + 9. Do -58 and d have different values?
False
Suppose -y + z = 30, 36072*z = 36068*z + 20. Let x be ((-48)/(-10))/(12/40). Suppose 6 - x = -2*q - 3*s, -2*s + 12 = -4*q. Which is greater: q or y?
q
Let a = 0.04377 - -0.02623. Which is smaller: a or 8.4?
a
Suppose -1198 = -4*d - 3*h, -2*h - 2 + 6 = 0. Suppose r = -4*i - r + 296, d = 4*i + r. Suppose 137 - 11 = -2*y - 2*t, -y - 5*t = i. Are y and -59 non-equal?
True
Suppose 0 = -96*w - 185*w. Which is bigger: w or -148/285?
w
Let f be (-86284)/2516 + 2/34. Which is bigger: -35 or f?
f
Let u = 642922/3 + -216293. Let b = 2003 + u. Are b and 17 equal?
False
Let x = -6743 - -6733. Is 70 less than x?
False
Let r(b) = 1 - 2*b + 6*b**2 - b**2 - 6*b**2. Let q be r(-6). Let x(v) = v**3 + 58*v**2 - 2*v - 140. Let u be x(-58). Which is smaller: q or u?
u
Let d be (-1)/((-10)/29745)*(-4)/3. Let b = 773368/195 + d. Let h = 0 + 0. Which is greater: h or b?
h
Let l(b) = 3*b**3 - 96*b**2 + 108*b - 203. Let i be l(31). Let c be 266 + (-2 - -1) + -1. Is c < i?
False
Let i = -107 - -108. Suppose -5*n = 4*b + 5, -2*b + 0 = -n - i. Is 1/24 less than n?
False
Let x = -947 + 641. Let n be ((-33)/36)/(-2 + (-603)/x). Which is smaller: n or 30?
30
Suppose -33*n + 27*n = -6. Is n < 3/1738?
False
Let m be 7*24/(-2100) - 20/(-250). Which is smaller: m or 5/8369?
m
Let y = 20 + -4. Let g = y + -20. Let b = g + 20. Which is smaller: 15 or b?
15
Let t(j) = 2*j**3 - 4*j**2 + 4*j - 1. Let o be t(2). Suppose -2*u + o*u = 2*u. Let f = -0.077 - -0.057. Which is greater: u or f?
u
Let z be 3*205/2*((-836)/(-55) - 14). Which is bigger: 404 or z?
404
Let z(b) = b**3 - 12*b**2 - 26*b - 25. Let p be z(14). Let a be (p/4)/((-340)/(-272)). Is a less than 18?
True
Let j be ((-6)/(-18)*(2 + 0))/((-9724)/(-561)). Is -1.1 >= j?
False
Let j be (-48)/32 - (1 - 19329/1332). Let v = j - 137/12. Is v < 1?
True
Let l(x) = 107*x + 146. Let c be l(3). Which is greater: 1400/3 or c?
c
Let v = -13723 + 14038. Is v bigger than 317?
False
Let x = -2581 - -2583. Let f be (-2 - 0) + 78 + 2. Which is bigger: f or x?
f
Let j be -4 + (-852)/30 - 0 - -2. Which is bigger: j or -31?
j
Let k = 752 + -751. Let j be k/14 + 754/812. Is j not equal to -9/28?
True
Let x = 21 - -50. Let t = x - 72. Do 2/13 and t have the same value?
False
Let s be 2/(-4) - 4/(-8). Let v be 9/(-3) + s + -2. Let l be (-5)/v - (-6)/(-10). Which is smaller: -1.2 or l?
-1.2
Suppose -12*l - 1497 = 2043. Let g = -296 - l. Which is bigger: -1/358 or g?
-1/358
Let h(t) = 125*t - 6. Let k be h(1). Let w = k + -132. Which is bigger: -99/7 or w?
w
Let v(a) = 2*a**3 + 38*a**2 + 1. Let x be v(-19). Is x >= 9/5?
False
Let v = -0.1 - 0. Let i(k) = 26*k + 31. Let d be i(-2). Let z be (6/d)/((-1)/7 - 2). Which is bigger: z or v?
z
Suppose 3601*l = 3627*l - 26. Which is smaller: l or -1/5802?
-1/5802
Let p(m) = 254*m**2 - 5 - 46*m - 259*m**2 + 31*m + 6 + 7 + m**3. Suppose 4*y = -6 + 34. Let n be p(y). Is 0 less than n?
True
Let o = -10 - 18. Let a = -27.99 - o. Let q = a - 1.21. Are -2/9 and q unequal?
True
Let h = -0.149 - -0.049. Let f = -3364 - -3506. Are h and f unequal?
True
Let o = 4410 + -4451. Which is bigger: o or -44?
o
Let j(w) = 3*w**3 - 6*w**2 + w + 3. Let k be j(2). Suppose -4*h = k*s - 445, h + 267 = 3*s - 2*h. Are 89 and s unequal?
False
Let y = -11000 - -11001. Which is smaller: y or 2/10487?
2/10487
Suppose -27*j + 17*j + 70 = 0. Let f(g) = g**2 - 6*g - 3. Let m be f(j). Suppose 5*p - 22 = m*s, 5*s + 9 = -3*p - 0*s. Is 3 at most p?
False
Suppose -3*w = -5*o + 11, -5*w - 21*o - 14 = -25*o. Let x be (6/30)/(w/(-3)*-1). Are x and 1 equal?
False
Let u = 19/37 - 1/74. Suppose 0*n + 4 = w - 2*n, -n = w + 11. Let v be (w/(-9))/((-4)/(-10)). Is v <= u?
False
Let l be ((-6)/(-56))/((-684)/(-2976)). Is 1 bigger than l?
True
Let w = 19 + -14. Suppose 2*f = w*u - 32, 3*u - 2*f - 2*f - 8 = 0. Suppose 4*c = -2*g + 40, 0 = -5*g - u*c + 4*c + 124. Which is greater: 29 or g?
29
Let k = 0.2 - 0.3. Let d = -300 - -297. Let h(l) = -3*l**3 + 10*l + 12. Let s be h(d). Is s < k?
False
Let d(i) = i**3 - 10*i**2 - 12*i + 29. Let f be d(5). Let w = f - -157. Which is bigger: 1/231 or w?
w
Suppose 3*o + 5 - 11 = 0. Suppose -8 = -o*v - u, 3*u - 8*u + 10 = 0. Let m be 10/(-8)*(-1)/(-5). Which is greater: m or v?
v
Suppose 10*k - 170 = -5*q + 6*k, -5*q + 170 = -2*k. Suppose -i + q = -o + i, 2*i + 46 = -o. Do -38 and o have the same value?
False
Let s = -1/193 + -379/1351. Let y = -56446 - -56448.49. Which is greater: y or s?
y
Let o = 5575 + -5574. Is o greater than 0.673?
True
Let y be (-2 + -1)/(6 + (-12)/((-7728)/(-3868))). Which is bigger: y or 485?
485
Let k = -5089/8 + 632. Let d = -330 - -326. Which is greater: k or d?
d
Let l = -0.51 + -0.13. Let d = -0.14 - l. Let w = -0.0411 + 5.0411. Which is greater: w or d?
w
Let m be (192/(-112))/((-2)/84). Let s = -48 + m. Suppose 17*o + 28 = s*o. Which is greater: 13/3 or o?
13/3
Let q be (28/(-12))/((-154)/66). Is q < -2/1025?
False
Let z(o) = -o + 7 - 12 + 3 + 3. Let q be z(3). Suppose -37 + 5 = b. Is q at least as big as b?
True
Let o = 557 - 113. Is o at most as big as 446?
True
Suppose 60 = -419*j + 359*j. Which is bigger: j or 3/1669?
3/1669
Let z be 3/(-28)*16/(-30). Suppose -41*q + 28*q + 260 = 0. Suppose 0 = -15*v + 10*v - 4*t - q, -25 = -v + 5*t. Does v = z?
False
Let x(l) = 41*l + 655. Let o be x(-23). Which is greater: -307 or o?
o
Let c = -5 - -3. Let k = -212763 + 212760.3. Which is bigger: k or c?
c
Let d = 474 - 474. Suppose -k + n + 4 + 2 = 0, d = -k - 4*n + 21. Which is greater: 2 or k?
k
Suppose 6*q = 5*q - 26. Let p be (-4)/q + 24/13. Suppose g = -3*s - 35, 0*g + p*s - 83 = 3*g. Which is greater: -28 or g?
-28
Let k be (8/6)/((-1)/(-3)). Suppose 3*z = -c - 15, 4*z - 2*z = k*c - 10. Let u be (-78)/18*4788/24206. Which is smaller: c or u?
u
Suppose -16*p = -14*p - 82. Suppose 10*s = 11*s - p. Let r = -40 + s. Is 10/13 greater than r?
False
Suppose -30 = -6*a + a. Suppose 4*t + 120 = 2*b, -a*t = -3*t + 4*b + 68. Let z be t/(-70) + (-6)/(-10). Which is smaller: z or -1?
-1
Let k = 5422 - 5414. Which is greater: k or 89/10?
89/10
Suppose -365 - 152 = 20*a + 723. Which is smaller: -59 or a?
a
Let r(t) = -3*t**2 - 82*t - 41. Let p be r(-20). Do p and 15 have the same value?
False
Let t 