t o = 7 + i. Is 2 greater than or equal to o?
True
Let u = -51/10 - -244/15. Let n = -21787/1950 + u. Is -1 not equal to n?
True
Let x = 4.072 - 0.072. Let b = 1 + 2.8. Let n = x - b. Which is greater: n or 0.3?
0.3
Let k = 2/1633 + 4607/238418. Is 1 less than k?
False
Let u = 5584/21 + -266. Let x be 1 + -3 + 0 + 2. Which is smaller: x or u?
u
Let o = 61.07 - 0.07. Let r = o - 63. Suppose -2*p - 15 = 3*p. Which is smaller: r or p?
p
Let c(r) = -r**3 + 14*r**2 + 28*r - 69. Let b be c(15). Which is smaller: b or 123?
123
Let k = 475 - 1650. Which is smaller: k or 0?
k
Suppose j + 2*v = -1 - 3, -4*v + 2 = j. Suppose -4*b - 4 = -5*u, -b + 2 + 2 = 0. Suppose -c + 5*w + 9 = c, -28 = c + u*w. Which is smaller: c or j?
j
Let h = -47 + 39. Is -4 at least h?
True
Let i = 60 + -57. Suppose 21 = 4*b + i*b. Which is greater: 6 or b?
6
Let a = -42 + 19. Let v = a + 67. Let t be (33/v)/((-114)/(-16)). Which is bigger: 1 or t?
1
Let h = 488.9 - 573. Let r = h - -84. Which is greater: 0.32 or r?
0.32
Suppose -11 = -4*r + p, -6*p - 17 = -4*r - 3*p. Suppose 3*c + f = -35, -r*c - 42 + 8 = -2*f. Which is bigger: -14 or c?
c
Let p = -11 - -11. Let q = 508 - 10670/21. Which is greater: q or p?
p
Suppose 0*f - 15 = -f - 2*m, m - 3 = 0. Suppose -f*b - 90 = -3*b. Is -16 at least as big as b?
False
Let q = 101.971 + -102. Let g = 12.029 + q. Suppose j - b = -6, 0 = 5*b - 26 + 6. Which is smaller: j or g?
j
Let p = -676 - -3387/5. Is 5 greater than p?
True
Let b = 20 + -42. Let w(q) = -q**3 + 42*q**2 - 49*q + 330. Let m be w(41). Which is greater: b or m?
m
Let u(s) = s**3 - 2*s**2 + 2*s - 1. Let i be u(4). Let p = i - 7. Is 33 not equal to p?
True
Let z(l) = -l**3 + 5*l**2 - 4*l - 1. Let b be z(2). Suppose 12*s = 9 + b. Are s and -8 non-equal?
True
Suppose 1 + 74 = -3*d. Let x = -626 + 602. Which is greater: x or d?
x
Suppose s + 3*d - 5 = 0, -2 = -6*d + 4*d. Let z = -85 - -89. Which is greater: z or s?
z
Let m = -0.067 - -0.052. Let n = -0.005 - m. Is n less than -3/5?
False
Let c = 513 + -464. Is 48 greater than c?
False
Let r(v) = -1 - v + 1. Let p be r(2). Let j be p*(4 + 0/3). Is -9 <= j?
True
Let d = 0.519 - -1.481. Is d != 111?
True
Let m be -8 + (5 - 1) + 1. Let q be 0/(3/9*m). Do 4/13 and q have the same value?
False
Let f be ((-6)/(-18))/((-1)/(-12)). Let r be (f/(-5))/((-2)/(-45)). Let x be 1 + -1 + r/24. Is x equal to -1?
False
Let r(n) = n - 11. Let c be r(6). Let m be (2 + 7)*(-2)/6. Let h be ((-5)/m)/c + 0. Which is bigger: -0.1 or h?
-0.1
Suppose 0 = -24*z + 14*z + 80. Which is smaller: z or -19?
-19
Let o(c) = -9*c**2 + 0*c + 2*c + 8*c**2. Let i be o(-2). Does i = -8?
True
Let i be (2/(-2))/(4/((-220)/45)). Which is smaller: 1 or i?
1
Let i = -13 - -12.9. Let s = -255.77 - -256. Which is greater: i or s?
s
Suppose -3*k - 2*j = -6*j - 26, -5*j = -k + 16. Suppose 2*w = 3 + 1. Suppose 4*x + k + w = 0. Which is smaller: x or 4/5?
x
Suppose 4*o + 9 = q, -3*o = -q - 4*q - 6. Let h = 3 - 6. Is o bigger than h?
False
Suppose 0 = 5*x + 5*n - 60, 2*n + 32 = x + 4*x. Suppose -36 - 76 = x*c. Which is greater: 1/2 or c?
1/2
Let t = -440 + 3082/7. Is 0.223 > t?
False
Let a = -97 - -37. Let c be a/16 - -4 - 50/296. Which is smaller: 1 or c?
c
Let p = -8 + 10. Let r be ((-3)/p)/((-120)/(-128)). Is r at least as big as -2/5?
False
Let d(x) = 13 - x + 0 + x**2 + 2*x. Suppose 8*b + 13*b = 18*b. Let f be d(b). Is 13 >= f?
True
Let d(b) = b**3 + 6*b**2 - 9*b - 11. Let n be d(-7). Suppose h = l + 2, -4*h + l + n = -8. Is h <= 3?
True
Let q be (-14)/((-224)/204)*-2. Which is smaller: -27 or q?
-27
Let s = 7.3 + -7. Let m = 4512.9 + -4511. Which is bigger: m or s?
m
Let n be -3 + (-93)/(-3) + 2. Suppose -n = -3*v + v. Let d = v - 4. Which is bigger: 10 or d?
d
Let r = 0.331 - 73.331. Is -4 equal to r?
False
Suppose 4*d - 6*d = 56. Let b = d - -57. Which is smaller: b or 28?
28
Suppose 2*m = q + q + 70, 2*m + 134 = -4*q. Let g = 38 + q. Which is greater: 2 or g?
g
Suppose 0 = 14*c - 253 + 239. Is 189 < c?
False
Let q be (-759)/15 + (-1 - (-3)/5). Which is smaller: -45 or q?
q
Let x = 50.5 - 59.5. Is x < 2/37?
True
Let p be ((-9)/2 - -2)*-2. Suppose -x + 4*x = 6. Suppose -p = k - c, c - 5 = -2*k - x*c. Is k greater than or equal to -4?
True
Let y = 158.4 - 158. Is y at most as big as 4/3?
True
Let x(j) = -j**3 + 3*j**2 + j + 1. Let q be x(3). Suppose -q*t + 3*f = -19, f + 4*f + 21 = 4*t. Let a be (-3)/(t + 148/(-40)). Which is greater: a or -11?
a
Let d be (-36)/45*5/(-2). Suppose -k - d*k + 15 = 0. Suppose 3 = -k*a + 8. Which is bigger: a or 0?
a
Let q be (-12)/(-15)*(-5)/2. Let l be (2*q)/((-12)/(-18)). Let f be l*(-8)/(-36)*3. Are f and -6 nonequal?
True
Let y = 806/7 + -24881/217. Which is bigger: y or -1?
y
Let r = 778 - 517. Suppose 0 = 5*l - r - 64. Let m be (13/l)/((-2)/(-5)). Which is smaller: 8 or m?
m
Let w = 47 + -41. Suppose -w*v - 3 = -3*v. Which is bigger: 6/29 or v?
6/29
Suppose -2*m - 2*m + 584 = d, 2*m - 2*d - 292 = 0. Let t be m/732 + 12/(-18). Let a = 2/61 - t. Which is smaller: 0 or a?
0
Let f = -6 - -14. Suppose 0 = 3*o - 2*l - 50, 5*l - 29 = -4*o + 7. Suppose o = n + n. Which is greater: f or n?
f
Let y(x) = 3*x**3 + 6*x**2 + 7*x + 3. Let p be y(-3). Which is smaller: -47 or p?
-47
Let s(c) = -5*c + 7. Let o be s(5). Let f = o - -33. Let h = 11 - f. Is -5 > h?
False
Let t = 2 + -3. Let b = 1602 - 1619.97. Let z = b - -18. Which is smaller: z or t?
t
Suppose -4*z = -l - 434, 2*z - 7*l - 216 = -6*l. Let m = -105 + z. Which is bigger: -2/27 or m?
m
Suppose -5*y - q - 31 = 0, 5*y + 6 = -4*q - 13. Let u(v) = -v**2 + v - 6. Let d be u(0). Which is smaller: y or d?
y
Let o = -2.6 - -9.6. Which is smaller: 0.2 or o?
0.2
Let j = -42.6 + 41. Let k = j - -1.51. Which is bigger: 0.2 or k?
0.2
Suppose 43*a + 26491 + 34569 = 0. Is a greater than -1420?
False
Suppose 2*a + 2*a = 40. Which is smaller: 5/4 or a?
5/4
Let m be 0*2/(-6) - 0. Let o be 2/(-13) - 550/1495. Let n = o - -268/161. Which is smaller: m or n?
m
Let j = -30 + 18. Let k be (-46)/(-12) + (-2)/j. Suppose -h - k*h - 11 = n, -4*h = -2*n + 6. Which is bigger: n or -2/27?
-2/27
Let n = -11 + 10. Let v be (n + 7)*52/(-8). Let s be -2*((-75)/v + -2). Are s and 1 nonequal?
True
Let u = -2182 - -2183. Is -10/29 not equal to u?
True
Let q = 8 + -6. Let f be 2/8 - 8/32. Suppose d - 2*y = 1 - q, f = d + y - 2. Which is bigger: 0 or d?
d
Suppose -x = 4*x - 20. Suppose -w = x*t + 17, 2*t + 3 + 7 = 0. Suppose 2*u + 3 = w*u. Which is bigger: 0.1 or u?
u
Let i = 3706 - 3703. Suppose 2*d + 3*m - 1 = 0, 4*m = d - 4*d + 1. Let l be -1*d/(-3)*-3. Is l <= i?
True
Let r = -863 - -862. Let l = -5 - 12. Is r at most l?
False
Let r = -3437/199382 + 3/1522. Let s = 7513 + -7513. Which is smaller: r or s?
r
Suppose 6*k - 60 = k. Suppose 2*h + h = k. Let a be ((-3)/h)/((-2)/8). Is 3 != a?
False
Let o = -32298707/1923 - -16796. Which is greater: 0 or o?
o
Suppose -2*o + 4*b - 34 = -3*o, 0 = -4*o + 3*b + 155. Is o != 38?
False
Let o = 128 - 128.67. Let y = o + -0.33. Which is greater: y or -1.4?
y
Let k be 40/18 + -2 - 11/9. Which is greater: k or -2?
k
Let m = 0.0891 - -22.2109. Which is greater: m or 2/5?
m
Let k = 31.639 - -0.361. Is k at least as big as -9?
True
Let u be -3 + ((-354)/5)/(-2). Let a be (-3861)/(-78)*(-3 - 33/(-9)). Is u <= a?
True
Let j = -17 - -2. Let u(y) = -13*y - 16. Let t be u(-4). Suppose 2*s + t = -4*z, 2 = -z - z. Which is bigger: s or j?
j
Let n(h) = -8*h**2 - 16*h + 7. Let p be n(-2). Let t = 5 + -11. Let q be (-40)/t + 2/6. Is q smaller than p?
False
Let n(c) = c**2 - 4*c - 5. Let t(j) = j**2 - 1. Let d(v) = n(v) - 2*t(v). Let u be d(-4). Let q = 201 + -613/3. Are u and q non-equal?
True
Let p = 0.28 - -38.72. Let n = -39.8 + p. Is 0.3 <= n?
False
Let m = -67.27 + 66.8. Is 0.1 at least as big as m?
True
Let k(l) = 2*l**2 + 18*l - 12. Let a be k(8). Which is smaller: -2/5 or a?
-2/5
Let n = -0.072 + 0.101. Let r = 0.059 - n. Let g = 0.3 - -3.7. Is r at most g?
True
Let k = 28 - 27.95. Let b = -10.05 + k. Let m = b - 1. Are m and -0.1 non-equal?
True
Let r = 8878/123299 - 6/1019. Let i = -8494/363 + r. Let j = i + 23. Are 2/7 and j nonequal?
True
Let j = 278 + -269. Which is greater: 48/5 or j?
48/5
Let v = -1132 - -440. Let o = v - -686.99. Let f = o - -0.01. Which is greater: f or -1?
-1
Suppose 0 