et z = -3315 + 2501. Is z at least -817?
True
Let z = -2.2 + -0.8. Let x = -2042 - -26570/13. Is x greater than z?
True
Let v = 2597 - 2110. Which is smaller: v or 1/5?
1/5
Let g = -154 - 333. Let n = g - -485.4. Let x be (2/(-4))/((-3)/(-2)). Which is smaller: x or n?
n
Let f be (-285 - 5) + 25 + -19. Suppose -1563 = 11*p + 1550. Which is greater: p or f?
p
Let t = -5497 + 5422. Which is greater: t or -377/5?
t
Let r be (-20)/(1*2/(-24)). Let u = -4078/17 + r. Let g be (2 - 2/2)*-1. Are g and u nonequal?
True
Let j = 15254 + -15336. Which is smaller: j or 60?
j
Let a = 273 - 267. Let u be (-885)/(-10) + -1*a/4. Is 86 equal to u?
False
Let w = 163.74 - 163.64. Is w smaller than -0.8609?
False
Let y = -1956 - -1955. Which is greater: y or -2/4673?
-2/4673
Let t be -3 + 19/3 + 12/(-4). Let l be 3/2*(-8)/33. Let z = l - -49/44. Do t and z have different values?
True
Let l(j) = -4*j**2 - 55*j + 14. Let s be l(-14). Which is smaller: s or -17/411?
-17/411
Suppose 9*h - 29 = -2. Suppose 0 = -4*b - 9*c + 5*c + 48, h*c - 6 = 0. Is b > 56/5?
False
Suppose -35384 = o - 5*u, -2*o + u + 6706 = 77501. Do -35398 and o have the same value?
False
Let q = -1094.3 + 1094.7. Which is smaller: q or 0.1515?
0.1515
Let p be 196/50 + 24/300. Let i be 217/(-70) - 6/p. Is i >= -4?
False
Suppose -48 = 5*c + 7. Let v(r) = 33 - r**2 + r + r**3 + 12*r**2 - 27. Let w be v(c). Which is greater: w or -8?
w
Let t be 6*20/(-24) + 431/(-1). Let b = 199 + t. Which is bigger: b or -236?
-236
Suppose 2*y = -3*y - 15, -4*y = -2*u + 30. Suppose 0 = 10*v + 401 - 501. Is u <= v?
True
Let o = 127 - -143. Suppose -237 = i - o. Which is greater: i or 31?
i
Suppose 4*h - a = -1668, -309 - 525 = 2*h + a. Is 4 greater than h?
True
Let w = -115/4 - -29. Let n = -0.21 + 0.016. Let t = n - -2.194. Are t and w non-equal?
True
Suppose -3*n = -2*r + 426, 639 = 3*r - 5*n + n. Let h = r + -237. Is h smaller than -21?
True
Let c be 7/(-3 - 4)*1062/111. Which is bigger: c or -1?
-1
Let z = 2782.276 - 2773. Let f = z + -0.546. Let g = f - -0.27. Is g equal to -4/3?
False
Let z be (-1)/5 + (-262403)/(-265). Let c be 7 - z/102 - -2. Which is smaller: c or 0?
c
Let v = -384 - -386. Suppose 0 = -v*b - 10, -3*p = -4*b + b - 3. Do p and -30/11 have the same value?
False
Let r = 0.23856 - 0.24556. Is 39 less than r?
False
Suppose -t - 12*j + 9*j = 672, 0 = 3*t - 5*j + 2128. Which is smaller: -708 or t?
-708
Suppose 5*k - m = -394, 2*k - 161 = 4*k + 3*m. Let j = -89 - k. Do -3 and j have the same value?
False
Let m = 40 + -35. Suppose 0 = -m*f + o - 200, 0 = -5*f - 3*o - 238 + 18. Suppose t + 13 = 4*w - 21, 2*t = 4*w - 76. Which is greater: t or f?
f
Let q = 165498 + -165411.0936. Let x = -0.1936 - q. Let g = x - -87. Which is smaller: g or 0.02?
g
Let k = -8.81 + -0.19. Let l = -37032 + 37032.2. Is k bigger than l?
False
Let a(h) = -10*h**3 + 4*h**2 - 9*h - 2. Let u be a(3). Let f = 295 - 558. Does f = u?
True
Let p be 1/(((-80)/(-472))/(-10)). Let j be (-68 - p) + (-4096)/(-455). Is 0 smaller than j?
True
Suppose -58*j = 11*j + 4*j - 219. Is 214/97 less than j?
True
Suppose 4*s + 0*s = -2*g + 12, -3*s = g - 7. Suppose 5*x - 84 = g*p, x = 3*x + 5*p - 27. Suppose -8 = 2*n, 0 = -4*y - 0*y + 5*n + x. Is -2/53 <= y?
False
Let a be (25/15 - 2)*-3. Let f be 2 - (-24)/(-9) - a/3. Is -5/81 < f?
False
Let d = -99053/137 + 723. Let r = -721/2466 - d. Do r and 1 have different values?
True
Let d = 472 - 407. Suppose -5*c + 180 = 3*u - d, 0 = -c + 2*u + 62. Which is greater: c or 54?
54
Let c be ((-2)/6)/((-247)/(-399)*(-35)/30). Which is smaller: c or 0.97?
c
Suppose -9*o - 7 = -12*o + 10*o. Is -4/2547 > o?
True
Let w be 21/30 + ((-18)/16)/(630/(-168)). Which is bigger: w or -2/187?
w
Let f = -1031 - -324. Let x = -706 - f. Is -12.4 equal to x?
False
Let f(a) = -3*a**3 + 4*a**2 - 11*a + 34. Let u be f(3). Let x = u - -48. Which is bigger: x or 3?
x
Let c(h) = -6*h**2 - 41*h + 166. Let n be c(16). Which is smaller: n or -2027?
-2027
Let q(z) = -z**2 - 8*z. Let u be q(-8). Suppose u*b - 6*b = -156. Suppose 20 = 4*i - 0*i + 3*d, 3*i + 5*d - b = 0. Is i at least as big as 5?
False
Suppose -792 = -13*w + 79. Suppose 8 = 63*a - w*a. Let s be (-10)/12*(-16)/(-6). Is s greater than or equal to a?
False
Let h be -23 - -7 - (-5922)/369. Is h bigger than 9?
False
Let m = 0.7296 - 0.6296. Do -2/9947 and m have the same value?
False
Suppose a - 4*a + 63 = 0. Suppose 127 = 6*f - 83. Let l be 9/15 - a/f. Which is smaller: 4 or l?
l
Suppose 0 = 17*j - 564 - 354. Suppose 53*h + 111 = j*h. Which is bigger: h or 112?
112
Let v(p) = -p**3 + 17*p**2 - 8*p + 25. Let r be v(7). Suppose 0 = -2*b - 3*z + 281, -r = -5*b - 5*z + 241. Is b equal to 139?
True
Let m be -279 + (-2 - -9 - (25 + -13)). Which is greater: m or -282?
-282
Let r = -212 - -232. Suppose l - r = -2*q, -7 = -q + 3*l - 4. Is 13 > q?
True
Suppose w = -2*w - 474. Let s be (((-636)/(-16))/(-3))/((7 - 20)/(-156)). Do w and s have the same value?
False
Let m be 2770 + (-27)/27*5. Is m at most as big as 11061/4?
True
Let i(f) = 8*f**2 + 2*f - 1. Let d be i(-2). Let a be ((1710/d)/(-5))/(4/6). Which is smaller: -23 or a?
-23
Suppose -5*p - 4*v - 34 = 0, 4*p = 145*v - 140*v - 19. Which is smaller: p or 16?
p
Suppose 5*u - 250 = -k + 4*u, 3*u - 242 = -k. Let n = 144 - k. Is n greater than or equal to -111?
True
Suppose -2*l = -12*z + 1498, -4*l - 344 - 2481 = -5*z. Which is smaller: l or -697?
-697
Let h = 723 - 158. Which is smaller: h or -2/5?
-2/5
Let v = 859.91 + -866.7. Are v and -1/3 equal?
False
Let a be -7*(-5 + (-186)/(-42)). Let r be 2/(-145)*(a - (5 + -6)). Which is greater: -1 or r?
r
Let a = 35.87 + -35.67. Is -161/11 at least a?
False
Let i be ((-192)/10)/8*20/(-6). Let j be (-1)/12*-69 - (-2)/i. Let t be 10/(-15)*(-66)/8. Which is smaller: t or j?
t
Let y = 104 - 106. Let a be 5/(-20)*62/9. Let i = -2/9 - a. Is y not equal to i?
True
Suppose 4*k - 3*x + 2453 = 0, 12*x = 10*x - 2. Let n(f) = -614*f**2 - 43*f - 42. Let j be n(-1). Which is bigger: j or k?
j
Let j be 2*(-189 + (-2)/(-2)). Let i be (-8)/36 + 169235/(-450). Let h = i - j. Is h at most as big as 1?
True
Let p = 4454 - 3961. Which is bigger: 985/2 or p?
p
Let u = 17622 + -17621.8. Which is smaller: 242 or u?
u
Let y = 240 - 239.221. Let j = 0.101 + y. Which is smaller: j or 0.5?
0.5
Let g = 15 + 2. Suppose -12*i + 8*i = -48. Suppose -30*h + 306 = -i*h. Is h at least as big as g?
True
Let n be (-25412)/(-40) - 66/(-220). Which is greater: 635 or n?
n
Let o = 375 - 193. Suppose 0 = 3*t + 130 + o. Let a be t/88 + 4/22. Are -7/4 and a unequal?
True
Let z be -389*(-15)/90*-6. Which is smaller: z or -1165/3?
z
Let c = -74 - -40. Suppose 11*n + 224 = 15*n. Suppose 54*q = n*q + 70. Which is smaller: q or c?
q
Let x = 19029 + -57088/3. Do -464 and x have the same value?
False
Suppose -3*x + 6 = -2*x. Let g be 288/1100 + x/(-33). Suppose 54*u - 74*u + 20 = 0. Is u < g?
False
Let w = 94 + -94.13. Let p be 2 + -3 + 77/105. Which is greater: w or p?
w
Let y be 2 + 1 + 1 - 2. Suppose 5*q + 9*t + 521 = 11*t, -4*t = y*q + 194. Is q at least as big as -99?
False
Let u = -2970 + 1564. Are -1405 and u unequal?
True
Suppose 3*b - 5852 = 10*b. Let n be 2/296*304/b. Which is bigger: -1 or n?
n
Let m(d) = 5*d + 2. Let h be m(2). Suppose 32*n = -h*n. Let b = -238/79 - -3. Which is smaller: n or b?
b
Let f be (-19 + 14)*8/(-30). Let w = 45 - 46.4. Let k = w - -1.4. Is f equal to k?
False
Let x(y) = -379*y - 1484. Let k be x(-4). Suppose 4*f - 104 = 5*d, f - 5*d - 10 - 1 = 0. Which is greater: k or f?
k
Let h = 16087 - 16085. Let o be (7/3 + -2)/(60/(-18)). Which is greater: h or o?
h
Let p be 18 - -1 - (4 - 1). Suppose -4*a + 62 = -2*h, 3*a + 4*h - 52 = -0*a. Suppose 4*f - a = 3*f. Is f less than p?
False
Let w be (8/110)/((-2)/(-100)). Let u(z) = -6*z**2 - 15*z + 13. Let i be u(-3). Which is greater: w or i?
i
Let i = -29 + -11. Let f = 39 + i. Is -0.12 at most as big as f?
False
Suppose 2*o = 4*o + 10, -3*o = -5*f. Let b be f/18 - ((-6918)/(-1800) - 4). Which is smaller: b or -1?
-1
Suppose 9*u + 184 = 223 - 192. Let r = -11 - -11. Is u at most r?
True
Let k(i) = 3524*i**2 - 6*i + 18. Let d be k(-2). Do 14127 and d have the same value?
False
Let h = -0.48 - 18.72. Let s = h + 24.2. Let a = -2 - -1.8. Is s at least as big as a?
T