 or -2?
-2
Suppose 5*m + 4 - 84 = 0. Let d = -21 + m. Let x = d + 38. Do x and 33 have different values?
False
Let t = -1473/37036 - -7/188. Suppose -5*w = 5*f + 45, -5*f - 1193*w - 25 = -1190*w. Is f greater than or equal to t?
True
Let a = 2587 + -2588. Is -27335 smaller than a?
True
Suppose -4*m = 5*l - 2*l - 9, -4*l - 32 = -2*m. Suppose j + 5*j + m = 0. Let k be -3*((-8)/12 - j). Is -8 >= k?
False
Let q = -19 + 31. Let l(f) = -f**2 - 5*f**2 - q + f - 8*f - f**3 + 3. Let u be l(-5). Is u greater than or equal to 2/9?
True
Let r = -332/7 + 56087/1183. Let y(h) = h**3 + 10*h**2 - 8*h + 34. Let c be y(-11). Is c > r?
True
Let b = -5.799 + 5.799. Which is smaller: b or 37.31?
b
Let u be 3/2 + ((-605)/(-22))/(-11). Do 3/595 and u have the same value?
False
Let y = -3037 - -3040. Which is smaller: y or 7?
y
Let q be (-46)/(-6) - 2/12*-2. Suppose q*t = -1104 - 296. Let x be (-1)/(-2)*50/t. Which is greater: -0.1 or x?
-0.1
Let x = 1824149/979280 + -3/12241. Let d = -9/5 + x. Let b = 39/112 - d. Are 1 and b equal?
False
Let l = -3222 - -3303. Suppose 3*g = 4*f + 221, 4*g - 3*g - 63 = 4*f. Which is smaller: l or g?
g
Suppose 23 = 5*m + 8. Let z(i) = 5*i + 55. Let q(w) = 6*w + 55. Let t(c) = m*z(c) - 2*q(c). Let o be t(-11). Is 19 greater than or equal to o?
False
Let g = -3 - -3.3. Let u = -159.845 - -160. Let b = u + 0.845. Is g less than or equal to b?
True
Let d be 2 - (-30)/8*(-460)/414. Which is smaller: -2 or d?
d
Let x be (4 - 14 - -2) + (-2838)/(-114). Which is greater: x or 17?
17
Suppose 0 = -61*k + 60*k + 10. Let d = 74 + -68. Let c be (-4)/(4/(-35) - d/21). Is c smaller than k?
False
Let h(x) = 2*x**3 + 220*x**2 + 641*x + 181. Let c be h(-107). Is c at least 13?
True
Let j be 552/92*(-4)/(-3). Is j less than 34?
True
Let x(a) = -5*a**2 - 117*a - 564. Let i be x(-7). Suppose 0 = -0*u - u + 5. Is u greater than i?
False
Let n = -183.15 - -183.85. Which is bigger: n or -1156?
n
Let w be (-9)/12*1 - (-13941)/12. Which is bigger: 1160 or w?
w
Let a = 55 + -56. Let z = -1777 - -12437/7. Is a > z?
False
Let u be (-46055)/(-31110) + (-3)/2. Are u and -2 non-equal?
True
Let n(f) = 4*f + 41 - 23 - f + 24. Let u be n(-15). Is -11/4 at most u?
False
Suppose -47*f = -37*f + 130. Suppose -8*m + 175 = -617. Let p be (-1448)/m - (-2)/11. Is f at least p?
True
Let o be (-11)/(12 + -155) - 57308/52. Is o greater than -1096?
False
Let y be (-68)/(-714)*6/8. Is y >= -1?
True
Suppose -5*c = -3*n, 0 = -0*c - c + n - 2. Suppose -3*m = -c + 6. Let s be (15 - 3)*m/(-2). Which is greater: s or 8?
8
Let f(w) = -5*w + 25. Let a be f(5). Let b = 1858/1225 + -90/49. Do a and b have different values?
True
Suppose s + 3*h + 5 = -2*h, -3*s = -5*h - 65. Let k(w) = 5*w**2 + 40*w - 224. Let g be k(4). Is s bigger than g?
False
Suppose -4*x - 493 = 1499. Let z = x + 141. Let y be z/(-12) + (-3)/(-12). Is 29 greater than or equal to y?
False
Let m = 17850 - 268069/15. Which is smaller: -21 or m?
m
Let s be -535 - ((-144)/(-12) - 8). Which is smaller: s or -3?
s
Let y = 144.357 + -8.357. Is -11 smaller than y?
True
Suppose 0 = -1858*u + 160*u - 507 - 1191. Let i be (-4)/(-6)*(-1)/153. Is u greater than i?
False
Let o(q) = 9*q**2 + 6*q + 165. Let h be o(0). Are h and 2134/13 nonequal?
True
Let r be 6/9*(-5 + -49). Let v = 63121/7 - 9053. Which is greater: v or r?
v
Let w = -3762 - -22621/6. Suppose -5*z + 87 = 2*l + 32, -3*l + 60 = 5*z. Which is smaller: z or w?
w
Let j(k) = -2*k - 12. Let g be j(-8). Let f be (g/590)/((-6)/(-10)). Suppose 2*s + 21 = 2*q - s, 5*q - 2*s - 14 = 0. Which is bigger: f or q?
f
Let q(c) = c**2 - 13*c + 12. Let w be q(12). Suppose i + 29 = -4*y - w*i, -20 = y - 4*i. Which is bigger: -27/4 or y?
-27/4
Let l = 11 - 7. Let g = -1231 - -1800. Let j = -568.8 + g. Is l equal to j?
False
Let h(p) = -p - 24. Let g be h(-27). Suppose x - 15 = -g*a, -13*a = 2*x - 14*a - 9. Let w = -25 + 32. Do x and w have different values?
True
Suppose -110*w + 108*w = -4*a - 360, -2*w = 4*a - 320. Which is bigger: w or 178?
178
Let x = -481 + 497. Are -0.49 and x equal?
False
Let k(v) = 8*v - 39. Let h(u) = -16*u + 78. Let d(r) = 6*h(r) + 13*k(r). Let s be d(5). Let j = 28/45 - 734/1035. Which is smaller: s or j?
j
Let h be 133/(-119) + 32/272. Is 4/5413 at least as big as h?
True
Let g = -455 - -520. Suppose -12*x + g - 77 = 0. Which is smaller: x or -2/205?
x
Let x = -5 + 4.97. Let n = -0.57 + x. Suppose 167*j - 345*j = 0. Is n less than j?
True
Let k be -2 - (-251591)/(-7) - ((-100)/175 - -1). Is k at most -35944?
True
Suppose 5545 + 4435 = -111*q + 2321. Which is smaller: -71 or q?
-71
Let k = 0.075 - 363.075. Let q = k - -445.1. Let g = q + -82. Is -0.11 != g?
True
Suppose -4*m = 16*n - 15*n + 42, -5*n - 5*m - 180 = 0. Suppose 4*k + 2*q = -138, -k - 3*q - 30 = 2. Which is smaller: k or n?
k
Let j(r) = 47*r - 4497. Let t be j(82). Which is smaller: -652 or t?
-652
Suppose 0 = -504*k + 493*k + 22. Which is smaller: 206 or k?
k
Let o be 23/(-28) - ((-160)/28)/10. Which is greater: o or -168?
o
Let b be 4*18/(-96)*((-32)/2852)/(-2). Is b greater than 0?
False
Let b be (-2)/(-85) + 0 + 0. Suppose 0 = 4*u - 2*s, -s - 1 = 92*u - 93*u. Which is greater: b or u?
b
Let l = 53144 - 53169.939. Let g = l + 26. Let m = g - 0.061. Which is smaller: m or -11?
-11
Let o = -0.2647 + 0.3647. Is 55 at most o?
False
Let g be (8*4/8*3)/2. Let v be (1784/48 + -1)*g. Are 218 and v equal?
False
Let q(o) = -o**3 + 3*o**2 + 47*o - 137. Let l be q(7). Let t = 21 + -12. Let y be -2 + t/((-18)/l). Which is greater: y or -1/9?
y
Suppose 3*k = 1452*r - 1450*r + 13, -3*r + k = 9. Is 229/11 <= r?
False
Let b = 0.11716 + 1.88284. Is -21.56 > b?
False
Suppose 2*c + 2*w = 42, -2*c = 3*c + 3*w - 115. Which is smaller: 1/3 or c?
1/3
Let b(w) be the third derivative of -w**6/120 + w**5/6 + w**4/24 - 5*w**3/3 + 75*w**2 + 2. Let z be b(10). Which is smaller: -9/10 or z?
-9/10
Let d = -1101 - -1096.21. Is d at most as big as -2?
True
Let w(i) = 162*i + 1306. Let y be w(-8). Suppose x - 4 = -1, -2*x = o - 8. Suppose -20 = -o*v - 0*v. Is v at most y?
True
Let z = 2999.2 + -2999. Let q = 2/483 - -100/1771. Which is bigger: q or z?
z
Suppose -5*l = 3*c - 95, c - 2*l = 4*c - 83. Suppose -c = -4*b + 219. Is b greater than 61?
False
Suppose 13815*p + 39 + 29 = 13849*p. Let r be -6*(-21)/48 + -2. Which is bigger: r or p?
p
Let n = 273 + -275. Let v = -3590 + 104100/29. Is n less than v?
True
Let j be (1 + 0 - 3)/((-266)/399). Suppose j*l = -0*d - 2*d + 16, 5*l = 2*d + 16. Which is smaller: l or -1?
-1
Suppose -362*t = -349*t + 39. Let n be (t - (-85)/20) + (-2)/8. Is n < 1/33?
False
Let v = 0.2 - 0.2. Let w = 128 + -128.047. Let k = -2.047 - w. Is v equal to k?
False
Let g be (1284/16)/((-33)/(-44)). Let m be g/(-2) - (-61)/(-122). Suppose 41 - 149 = 2*s. Is m at most s?
True
Let w be (-132)/2178 - 889/33. Is -42 at least w?
False
Suppose 3*h - 6 = 5*a, 4*a - 9*h = -11*h - 40. Which is bigger: -349 or a?
a
Let h = 263250 + -262759.154. Let t = h + -491. Which is smaller: t or 0.1?
t
Suppose -4*h = 4*p - 27 + 3, 0 = -2*p - 5*h. Let x = 12 + -7. Suppose 0 + p = -x*c. Which is bigger: -11/13 or c?
-11/13
Let b = -0.14 + 0.004. Let m = b + -52.864. Does m = 1?
False
Suppose -3*z - 20*b - 2150 = -18*b, -2*b = -4. Which is bigger: z or -720?
z
Let u = -2697865099557/2261435606 - -1/27578483. Let p = u + 1193. Are 1 and p unequal?
True
Let z = 532 + -3571. Which is bigger: -3038 or z?
-3038
Let o be (-10)/(-80) + (164/40 - 4). Which is smaller: o or -1?
-1
Let p = 99689/142890 - 3/4330. Does 1 = p?
False
Let i = 86 + -301. Let w = -221 - i. Is w >= -66?
True
Let d be 2/198*36304 - (-2)/11. Let h = 368 - d. Let g = 5 + -6. Are g and h non-equal?
True
Let t = -171302773/35 - -4893853. Let z = t - -512. Let h = 3 - 2. Which is bigger: h or z?
h
Suppose 11*m - 53506 - 2132 = -5423. Is m greater than 4565?
False
Suppose 0 = -3*j + 5*b - 13, 7*b - 30 = 2*j + 9*b. Let r be (j/((-264)/222))/(1/4). Is r greater than 38?
False
Let m be 38/(-2) + 709254/37338. Is 0 < m?
False
Suppose 99*x + 42*x - 847692 = 0. Is x greater than 0?
True
Suppose -p + 3*p = 0. Let i = 61244/5 - 12249. Is p != i?
True
Suppose -9*t - 1047 = 1275. Let q be 1/(-3) - 335/t - 1. Which is greater: q or -0.2?
q
Suppose 12 = i - 10. Let w = -25 + i. Is -29/7 sma