2. Let c = a + 37. Let p = -48 + c. Which is smaller: 0.1 or p?
p
Suppose -91967 = -227*s + 107566. Is 879 at least s?
True
Let k(v) = v**3 - 7*v**2 - 1. Let o be (-5)/(-2)*28/(-40)*-4. Let d be k(o). Suppose -7*m - 13 = -6*m. Is d at least as big as m?
True
Let n be 12/18 + 13/3. Suppose -t - n*q + 4 = -1, t + 2*q = 2. Is t >= -3/40?
True
Let p = -0.15 - -0.15. Let m = 15.98 + -15. Which is bigger: p or m?
m
Let p = 8627 - 4756. Is 3871 at least p?
True
Let r = -35.67 + 31.67. Which is greater: r or 13/5?
13/5
Let r(g) = g**3 - 59*g**2 + 60*g - 115. Let j be r(58). Which is greater: j or 3/2110?
j
Suppose -13*f = -116 + 272. Let v(u) be the third derivative of -u**5/60 - u**3/3 - 3*u**2. Let d be v(-3). Which is greater: f or d?
d
Suppose 4*p + 3*y + 428 = 5*y, -4*p + 3*y - 432 = 0. Let m be p/(-33) - (-2)/(-11). Let a = 11/5 + -7/10. Do a and m have different values?
True
Let g be 4 + (1405/5 - (-3 - -7)). Suppose 4*v = 4, -k + g = -4*k - 4*v. Do -93 and k have different values?
True
Let o = 42 - 39. Suppose -5*h - 4*t - 1 + o = 0, 4*h = t + 10. Suppose -p + 5 + h = 0. Is p <= 8?
True
Let i = -4 + 10. Suppose 286*g - 2140*g + 801 + 2907 = 0. Is g bigger than i?
False
Let j = 0.66 + -4.66. Let u be -1 + -3 + (-7)/(-2) + 0. Is j greater than u?
False
Let m = -13/1107 + -74855/4428. Are m and -17 unequal?
True
Suppose 0 = 4*l + 12 + 12. Let b be 0 + (-1 - (l - -1)). Suppose p = -4, b*p - 23 = -4*a + 45. Are -1 and a equal?
False
Let t = -22 + 26. Let d = 53 + -53. Suppose 2 = 5*h + 4*z + 6, 4*h - t*z - 4 = d. Which is bigger: 4/7 or h?
4/7
Let d(c) = -3*c**2 + 19*c. Let u(w) = -w**2 + w. Let t(l) = -d(l) + 4*u(l). Let p be t(-17). Let a be (1 - p/(-14))*15/6. Is a equal to -4?
False
Let o = 549 + -1223. Let i = 684 + o. Let l = -2/339 + 3166/339. Which is greater: i or l?
i
Let y = -65030/17 + 3825. Is y > -0.05?
False
Let z = -4073 - -36655/9. Which is smaller: z or 509?
z
Let s = -1995.85 - -1996. Is -27/11 less than or equal to s?
True
Let r(p) = -5*p - 3. Let m be r(-4). Let z(q) = -q**2 + 19*q - 7. Let s be z(m). Suppose s = 8*h + h. Is h equal to 3?
True
Suppose 23 = 3*f - 46. Let v(t) = -14*t**2. Let m be v(1). Let g = 38 + m. Which is smaller: f or g?
f
Let w(r) = -2*r**2 - 7*r - 7. Let a be w(-3). Let n be (2/a)/(1/(-18)). Suppose -5 = c - n. Is 21/4 at least c?
True
Let s(o) = -3*o + 96. Let v be s(0). Suppose -14*z + v = -11*z. Let q = z + -73/2. Which is smaller: -6 or q?
-6
Let t(o) = 7*o - 64. Let u(g) = 21*g - 195. Let v(z) = 17*t(z) - 6*u(z). Let r be v(11). Are -4 and r equal?
False
Let v be -75 + 69 - 203*-2. Which is smaller: 401 or v?
v
Let d be ((-69856)/70)/4 + (-2)/(-10). Let h = 249 + d. Which is smaller: h or -22.2?
-22.2
Let i = 409/2397 + -13/141. Let z(c) = c**2 + 3*c - 1. Let f be z(-3). Is f smaller than i?
True
Let p = 13 - 11. Suppose 7*m + 2*h = p*m + 440, -3*h = -3*m + 243. Suppose m = -2*x + 10. Is -36 < x?
False
Suppose q + 4*v - 3 = 2, 3 = 3*v. Suppose c + 3 = -4*o, -o - q = 3*o + 3*c. Is 80 <= o?
False
Let y be ((-21)/740)/(6/(-224)). Let l be ((-33)/20)/33*16/(-1258). Let x = l - y. Which is smaller: 0 or x?
x
Let l = -521.3 + 545. Let i = -26.7 + l. Which is smaller: i or -41/2?
-41/2
Let k = 5710 + 2875. Is k smaller than 8584?
False
Let c be 63*(-8 - (-15 + 10)). Which is bigger: -190 or c?
c
Let u = 1201 + -1705. Let q be 18846/u - (0 - (-9)/12). Is q less than -39?
False
Suppose 17*c + 51 - 204 = 0. Let m be ((-16)/4088)/(c/(-21)). Which is greater: 0 or m?
m
Suppose 38865 + 59590 = -60*k - 188405. Is -4779 < k?
False
Suppose 0 = u + 7*r + 403, u + 0*r = -4*r - 418. Which is greater: -440 or u?
u
Let x = 9 + -14. Let j be (2/(-40)*-5)/(18/(-276)). Which is bigger: j or x?
j
Let l = 19.716 - 0.716. Let v be -3 + 3/(-4 + 3). Let g = v + 7. Do l and g have the same value?
False
Let y = -19439661/797 + 24391. Which is greater: y or -1?
y
Let w = 4942 + -20141/4. Which is smaller: 8 or w?
w
Let c be 0 + 2/(-2 - (-72)/38). Let q = 9.6 - 9.8. Which is smaller: q or c?
c
Let r = 36.575 - 1.235. Let s = 0.34 - r. Let x = s - -47. Is 1/5 greater than x?
False
Suppose q = 1, -17*s + 21*s + 3*q - 6883 = 0. Suppose 4*j + 1660 = -2*n, 2*n - s = 4*j - 68. Which is smaller: j or -415?
-415
Let x(d) = -2*d - 19. Let u(o) = 5*o + 56. Let q(t) = 3*u(t) + 8*x(t). Let s(g) = g**2 + 15*g + 66. Let r be s(-7). Let h be q(r). Which is smaller: h or 9?
h
Let z(s) = -4*s - 44. Let w be z(-13). Suppose -w*b + 2 = -38. Suppose -b = -h + 2*x, -h - 2*x = x + 5. Which is smaller: h or 12/5?
h
Suppose 42*t - 9802 = 16*t. Do t and 379 have the same value?
False
Suppose 0 = -5*x - 2*k + 69, -5*x + k + 84 = -2*k. Suppose 7 = -8*a + x. Is 2/211 != a?
True
Let c(r) = r**3 + 13*r**2 - 8*r - 2. Let m be c(-13). Suppose -5*j = j - m. Suppose -10*g + 48*g - 760 = 0. Are j and g equal?
False
Let a = -130 - -212. Let q be 77 + (3 - (-2 + 2)). Let k = q - a. Are k and 2/45 nonequal?
True
Let d be 39*(275/(-264) + 1). Are d and 17/3 equal?
False
Let p = 79.52 - 186.52. Which is greater: p or 3?
3
Let g be (3 + -4)/(((-30)/(-1945))/(-6)). Let f = 437 - g. Which is smaller: 47 or f?
47
Suppose 0 = -6*j + 45 - 9. Suppose -j*u + 10*u - 16 = 0. Let g = 167/36 + -17/9. Is u greater than g?
True
Let q be (-220)/(-342) - (-2)/(-9). Let z be (-132)/(-120) - 3/30. Is q not equal to z?
True
Suppose 42*q = 743 + 1819. Which is greater: 23 or q?
q
Suppose -p - 7 = -4*q, 5*p - 2*q = 3*p - 2. Suppose 2*k = -3*i - 3, 0 = i + 3*k + 7 + p. Which is smaller: 4/59 or i?
4/59
Let c = 326 - 124. Let t = c - 201. Which is bigger: 1/233 or t?
t
Let o = 58621 + -7679353/131. Suppose 1 = -h + 2*g + 8, 2*g = -6. Are o and h equal?
False
Let c = 1083.2 + -1222. Let g = 139 + c. Which is smaller: -3/28 or g?
-3/28
Let c = -16908 - -16715. Is 2 >= c?
True
Let q be ((-44)/(-880))/(2/88). Suppose -6 = -x - 3. Let k(t) = -t**3 + 2*t**2 + 3*t + 1. Let l be k(x). Which is smaller: q or l?
l
Suppose -27 + 29 = -16*m + 18. Is m equal to -4/569?
False
Let k = -5650 + 5651. Which is bigger: k or 1/4829?
k
Let h = 117 + -117.82. Let b = 0.72 + h. Is -125 <= b?
True
Suppose -3818 = -14*f - 79 + 881. Is 1979/6 smaller than f?
True
Let a = -62678/41457 + 59/39. Is a smaller than 1?
True
Let m = -29911 - -90764/3. Let y = 370 - m. Let r = y - 1498/57. Which is smaller: 0 or r?
0
Let a be (-40)/(-60) + (-5)/12. Let w = 85 + -37. Let q = 48.07 - w. Is a at most q?
False
Suppose 283 - 103 = 18*f. Let k(b) = b**2 - 2*b - 1. Let x be k(-1). Suppose -3*h - f = -2*d, x*h - 15 = 4*d - 7*d. Are d and 5 unequal?
False
Let k be (12/21)/(4/28). Suppose -f - k*f = 125. Is -21 at most as big as f?
False
Let r be (-3 - -4)*(-6 - 3*24/(-6)). Which is smaller: -222 or r?
-222
Let k = 733/2 + -1463/4. Let v(x) = -x**3 + x + 4. Let j be v(0). Suppose j*w = -w. Which is smaller: k or w?
w
Let m be (-6)/(-4) - (-1 - 3/(-6)). Let j be 23196/(-180) + m/(-15). Let s = j + 3482/27. Are -1 and s non-equal?
True
Suppose 0 = 17*t - 32 - 36. Suppose -2*o + o + 21 = 4*s, 0 = t*o - 5*s + 21. Is -2/7 < o?
True
Suppose -17 + 272 = 5*o. Let b be (2/2 + ((-786182)/(-1463))/(-34))/((-22)/77). Which is greater: o or b?
b
Let n = -0.034 - -4.054. Let y = n - 0.02. Let x = 367.06 + -367. Which is smaller: y or x?
x
Let z be (-6)/1875*-25 + 4/75. Is z < -0.0116?
False
Let u = 18816 - 17649. Are u and 1169 non-equal?
True
Suppose -106*o = -5*r - 104*o + 495, -4*r = 2*o - 378. Is r at least 387/4?
True
Suppose 92*l = 95*l + 81. Let c be (-4)/3*l*(-6)/36. Let x be -3*c/9 - (-175)/(-77). Are x and -0.07 unequal?
True
Let k be ((-96)/210)/8 + 967455/(-2100). Is -460 bigger than k?
True
Let o = 60/1583057 - -1850404033/5002460120. Let a = 2/395 + o. Is a at most 1?
True
Let u = -39080 - -273558/7. Which is greater: 1283.7 or u?
1283.7
Let u = -0.04 + -0.96. Let b = u + 2. Let p = -442 + 473. Which is greater: b or p?
p
Suppose -396*j + 409*j + 1261 = 0. Which is smaller: -92 or j?
j
Suppose -76*d + 633 - 4357 = 0. Is d equal to -341/7?
False
Suppose 854*u + 5*j - 269 = 850*u, u + j = 66. Which is bigger: 21 or u?
u
Let k = -551 + -514. Is k not equal to -1065?
False
Let z = 8 - 9. Let x be -15 + 12*1107/324. Is x >= z?
True
Let s = 1077 - 56973/53. Is 3 less than s?
False
Let p be -15 + 14/(-784)*-1048. Which is bigger: p or 76?