ue
Let v = -64 + -14. Do v and 0.3 have the same value?
False
Let w(s) = 7 - 8*s + s**3 - s**2 + 0*s - 8*s**2. Let o be w(7). Let v = o - -1910/13. Which is greater: -2/3 or v?
v
Let a(t) = t - 7. Let p be a(8). Suppose 3*m + p = 7. Suppose -4*l - m*r = -8, -3*l + 3*r = -0 + 3. Which is bigger: 1/4 or l?
l
Let j = 11.82 - -0.18. Let p = j + -12.9. Let s = p - -8.9. Is s greater than or equal to 1?
True
Let f = 13.795 - -0.005. Let i = -1.2 - f. Let t = i - -14.5. Which is bigger: t or -0.1?
-0.1
Let g = 648 + -647. Which is smaller: g or 0.88?
0.88
Let t be 6/2*1 - 1. Suppose -t = 2*q - q. Let n be (6 + -4)*q/(-4). Which is greater: -3/7 or n?
n
Let d = -1094/93 - -344/31. Let y be (-14 - 0)*1/2. Let w = y - -5. Is w greater than d?
False
Let a = -85/514 - -180293/1084026. Are 0 and a nonequal?
True
Let v be 5/(-10)*(0 + 34). Let b be (-9 - -10) + v/16. Suppose 3*y + 17 = 5*n, 3*n - 8 = 3*y + 1. Which is smaller: b or y?
b
Suppose 0 = 2*p - 3*i - 1741, -203*p = -201*p - 2*i - 1736. Is 865 bigger than p?
True
Suppose -30*h + 38*h - 40 = 0. Is h bigger than 65/17?
True
Let o = 8.48 + -2.48. Is o at least as big as 0.5?
True
Let i = -1046.992 + 1047. Is 0 at least as big as i?
False
Let c(t) = 2*t + 51. Let h be c(-9). Suppose 3*r + 60 = -h. Are -32 and r non-equal?
True
Let w(y) = -y**2 + 14*y + 16. Let v be w(14). Let c be 2/3 + v/12. Let d be (28/(-184))/7*c. Is d < 0?
True
Suppose -2*j = -12*j - 28*j. Let q = -34 - -19. Let v be (8/30)/((-3)/q). Are v and j equal?
False
Let a = -154 + 154. Is a bigger than 48/5?
False
Let i = 56.9 + -58. Which is greater: -0.04 or i?
-0.04
Suppose -s - 20 = -2*k, -4*s + k - 85 = -s. Which is greater: -22 or s?
-22
Let z = 31/2 + -69/4. Let h = 136 - 133. Let w be (3/3)/((-1)/h). Is z >= w?
True
Let u = 0.194 + -0.094. Is -18 equal to u?
False
Suppose -5*w - 2*y + 27 = 0, w + 2*y - 27 + 20 = 0. Let t = -4 - -2. Let h be t*(2 - 21/6). Is w bigger than h?
True
Let h be (-6)/45*3*-5. Let x(d) = -2*d**2 - h*d - 4*d + d**2 - 1 - 4. Let c be x(-5). Which is smaller: -1/4 or c?
-1/4
Let g = -33 + 8. Let y = g + 25.2. Let m be (-2)/4 + 3/(-12). Which is greater: m or y?
y
Suppose -3*a - 12*x = -17*x + 14, -a - 3*x - 14 = 0. Do a and -8 have the same value?
True
Let o = 1254 - 1236. Are o and -39 nonequal?
True
Let g(c) = -c - 11. Let x be g(-9). Let p be x/2*(-19 + 18). Which is smaller: 6/17 or p?
6/17
Let d = -22 + -23. Let m = -45.4 - d. Is 0 at least as big as m?
True
Let v(c) = -c**3 - 4*c**2 - c - 4. Let x be v(-4). Suppose 2 + x = 2*k. Let y be 1*(0/(-2) - k). Do 2/33 and y have different values?
True
Suppose 0 = -4*j + 3*l + 235, 3*j = -0*j + l + 175. Let t be j*(-4)/(128/(-28)). Let b = 49 - t. Are b and -2 non-equal?
True
Let i = 89.3 + -90. Let v = 1.3 - 1. Let z = i - v. Is 7 equal to z?
False
Let a be (150/(-175))/((-3)/(-172)). Which is smaller: -50 or a?
-50
Let t = 222 + -206. Which is smaller: -6/19 or t?
-6/19
Suppose -d + 41 = -5*r - 33, 5*r + 77 = -2*d. Let s be (30/(-4))/(r/6 - -3). Which is smaller: s or -16?
-16
Let q = -3277/2 + 1228. Is q at most -412?
False
Suppose 3*s = 6*s. Suppose 4*t + 34 - 154 = s. Suppose -2*h = -12 + t. Are -8 and h non-equal?
True
Let t be (-90)/(-8)*(-17)/((-6545)/(-22)). Is -2 >= t?
False
Let w be -1 - (-8)/4 - -11. Is 12 < w?
False
Let y(t) = 387*t**3 - 2*t**2 + 2*t - 1. Let d be y(1). Is 385 <= d?
True
Suppose h - 570 = -571. Which is greater: h or -20/23?
-20/23
Suppose 5*q - 59 = -3*z + 2*z, 0 = 4*z + q - 179. Which is smaller: z or 46?
z
Suppose 2*v - 6*v = -72. Let h be (-1)/(-1) + -5 + v. Let f be 2/h - 252/49. Is -6 >= f?
False
Let i(g) = -g**3 - 15 - 7*g**2 - 2*g + 8 + 8. Let w be i(-5). Which is bigger: -40 or w?
w
Suppose -6*i + 1047 = -2*i - 5*s, -3*i + 819 = 3*s. Let p = i - 2945/11. Which is bigger: p or -1?
p
Suppose h = -2*t - 5 + 12, 2*h - t = -1. Suppose 0*u = -u + 5. Suppose 4*a = 2*m, -3*m + u*a + 1 = -m. Is m less than h?
True
Let m = -1531 + 1808. Is 274 greater than m?
False
Let x(p) = p**3 - 3*p**2 - 3*p + 3. Let v be x(4). Let q = v - 6. Let l(h) = -7*h - 161. Let t be l(-23). Is q smaller than t?
False
Let s be (10*33/(-242))/((-2)/14). Is 9 > s?
False
Let z(a) = a**2 - 9*a + 8. Let m be z(6). Let q be (-9)/(-6)*m/(-30). Which is smaller: q or -18?
-18
Let i be (1 - 3) + 2 - 90/(-225). Do i and -8/3 have different values?
True
Let m = -64 - -46. Let l = -1.6 - -15.6. Let s = l + m. Which is bigger: -2/7 or s?
-2/7
Let u = -839313/119 - -7053. Is 1 less than or equal to u?
False
Suppose -5*i + 26 = -4*q, 22 = 3*i + i - 2*q. Let c = i - -4. Suppose 0 = 3*p - 3*r - 23 - c, 2*p = -2*r + 18. Is 9 greater than p?
False
Let j(i) = -6*i + 0*i - 3*i + 4. Let t(l) = -5*l + 2. Let d(c) = -6*j(c) + 11*t(c). Let p be d(-2). Are 1/11 and p unequal?
True
Let c = 4 + -4.4. Let w = c - -0.3. Let z = 227/4 - 57. Which is smaller: z or w?
z
Let x = 0.0875 + -14.2675. Let r = x - 0.62. Let q = 15 + r. Does -1 = q?
False
Let u(y) = 13*y - 455. Let z be u(19). Do z and -208 have the same value?
True
Let w be (-1134)/(-279)*14/8. Let g = w - -12/31. Let u = -7 + g. Is u less than -1.5?
False
Let u(k) = k - 14. Let g be u(18). Let h be g/(-10) - 8/(-10). Which is smaller: -3 or h?
-3
Suppose -r - 3 = -6*r + 3*m, r - 4*m - 4 = 0. Let l(g) = g**3 + 2*g - 1. Let o be l(r). Which is greater: 8 or o?
8
Let w = -0.09 + -0.91. Let y = 116 - 103. Is y smaller than w?
False
Let o = -791 + 767. Is o at least as big as 10?
False
Let t(v) = v**3 + 28*v**2 + 27*v - 1. Let z be t(-27). Which is greater: z or -5/84?
-5/84
Suppose -4*v = -9*v - 5. Let a be 4 - v/(2/(-4)). Suppose 35 = -5*i + 3*h, -i - 5*h - 9 = -a. Is i less than or equal to -6?
True
Suppose 10*t - 5*t = 10. Suppose -t*b + 4*l + 3 = -41, 0 = 3*b - 5*l - 61. Let g = -12 + b. Is -8/9 > g?
False
Let l(d) = 2*d**2 - d**2 + 5*d - 10 - 2*d**2 - 16*d. Let s be l(-10). Let h be (1 + (-33)/27)*(-2)/4. Which is greater: s or h?
h
Suppose 2 = -a - 4*b, a - 2*a - 5*b = 3. Let r = -57 - -173/3. Is r smaller than a?
True
Suppose -n - 147 + 178 = 0. Is 31 less than n?
False
Suppose -22*q = -50*q - 756. Is -34 greater than q?
False
Let o = 184/3 - 926/15. Which is greater: 0.041 or o?
0.041
Let a(u) = -6*u - 2. Let t be a(-2). Let z be -3 + -2 + -2 - 0. Let s = z + t. Which is greater: s or -1/3?
s
Let r = 122 - 118. Suppose 7 = r*k - 3*d, -3*d = 2*k + 2*d - 23. Do 27/8 and k have the same value?
False
Let t(g) = 3*g**3 + g**2 + g - 14. Let u be t(-5). Which is smaller: 2 or u?
u
Let o = -1.76 - -1.3. Let s = 1.54 - o. Which is smaller: -9 or s?
-9
Let p be ((-75)/5)/5 - 741/3. Is p at most -249?
True
Let q(l) = 447*l + 1789. Let h be q(-4). Let m = 0 + 2. Let o be m/((-10)/3) + 1. Which is smaller: o or h?
o
Let n = -333 - -2721/8. Which is smaller: 6 or n?
6
Suppose -2*o + 38 = 5*f, -2 - 24 = -5*f + o. Let g be 15/(-6)*(-23)/10. Which is greater: g or f?
f
Let q = 29/200 + -1209/8200. Is q >= -1?
True
Let j(g) = g**3 - 3*g**2 + g - 13. Let n be j(4). Let i = 206 + -108. Let b be n/(-3)*56/i. Which is greater: -2 or b?
b
Suppose 0 = 4*a + 7 + 1. Let m be 6/(-15) + a/(-5). Suppose m = -5*y + 8*t - 3*t - 40, -3*t + 28 = -4*y. Is -3 smaller than y?
False
Let v = 0.024 + -38.024. Is v less than 2?
True
Suppose -g + 4*v = 4, g - 3*v = -2*g - 3. Let b be 819/360 + 2/(-5). Let m = 41/24 - b. Which is bigger: m or g?
g
Let b = 17/39 - 10/13. Let h = -2 - -4. Let m = h - 1. Which is greater: m or b?
m
Suppose -91 + 79 = 3*i. Let u be 3*-1*i/24*62. Which is bigger: u or 34?
34
Let a(n) = -2*n**2 + 28*n - 40. Let c be a(14). Is -40 less than or equal to c?
True
Suppose 3*j = 3*t - 15, -3*t + 2*j + 0*j = -10. Let g = t + 3. Suppose -5*c + 3 = -2. Which is smaller: c or g?
c
Let x = -146 + -144. Is x bigger than -291?
True
Let b = -154 - -184. Does b = 94/3?
False
Let h be 3/(30/(-8)) + (-9072)/210. Is h at least -43?
False
Suppose 2*d - 2 = -0. Let g be (4 - -1) + (-29 - -7). Is d greater than g?
True
Suppose -38 = -v - 8. Suppose 4*a = 3*x - 18, -2*a + v = 5*x + a. Which is smaller: x or -4?
-4
Let z(t) = 2*t**2 - 2*t - 2. Let b be z(-1). Let q be ((-13110)/(-125))/(b/7). Let o = -367 + q. Is o bigger than 0?
True
Let a = 8.25 - 8. Let x = a - -0.75. Which is smaller: x or 0?
0
Let u be (-4)/10 - (-590)/(-25). Let c be (9/u)/((-14)/(