s. Is s < 137?
False
Let p be 0 - (2 + (-36)/(-22)). Let g be ((-32844)/(-7480))/(6/5). Let h = g + p. Which is greater: 0 or h?
h
Let v = -5625/19 - -150905/494. Is 10 at most v?
False
Suppose 4*t + 56 = 4*c, 2*t + 33 = 2*c + 5*t. Let g(d) be the first derivative of -d**2/2 + 13*d - 1. Let s be g(c). Is -3 < s?
True
Let n = -37412 - -37537. Let d = 229 - 105. Is n smaller than d?
False
Suppose -3 = -2*f + 145. Let l = 72 - f. Let b be (1 + (8/l)/2)*0. Does 51 = b?
False
Let f be (-4*185/(-50))/(10/25). Which is smaller: 251/7 or f?
251/7
Let p = 3406 + -3407. Is p greater than or equal to 24/305?
False
Suppose 19*z - 24*z + 40 = 0. Let k be (1 - 0)*(-8 + z). Let x be (2/((-100)/(-3)))/3. Is k at most as big as x?
True
Suppose c + 150 = -2*c. Let r(t) = -t - 2. Let z(i) = -6*i + 19. Let q(w) = -4*r(w) + 2*z(w). Let s be q(12). Are c and s equal?
True
Let c be 28*(-20)/(-1680) - (-2 + 385953/165411). Which is greater: c or -1?
c
Let p be 124/(-279) - (-7)/(-294561)*-18701. Which is smaller: 1 or p?
p
Suppose 59*j = 56*j - 3. Let b = 34 - 32. Let h be (-1136)/8736 + b/13. Are h and j non-equal?
True
Let c = -123 + 216. Let a = 4282 - 4191. Is a <= c?
True
Suppose -6*j = -j - 2*q + 132, -4*j = 3*q + 101. Let o = j + 29. Let g be (12 - 33)/((18/4)/o). Which is bigger: -13 or g?
-13
Suppose 0 = 3*z, -16 = n + n + 3*z. Let v be 12/n*20/(-6). Let t be 3/((-15)/v)*18. Is t less than -35/2?
True
Suppose -3*h - 3061 = b, -471*b = h - 470*b + 1021. Is h at most as big as -1015?
True
Suppose -11*v + 1815 + 1837 = -94*v. Which is smaller: v or -53?
-53
Let v be (-18)/(-33) + 780/143 + 0 + 7. Is -142 not equal to v?
True
Let m be (1 + 4/(-8))*86. Suppose -s - m = -2*s. Let b(i) = i**3 + 3*i**2 - 4*i - 1. Let l be b(-4). Which is greater: l or s?
s
Suppose 0 = -2*d + 5*p + 54, -744*d - p - 72 = -748*d. Is 3 >= d?
False
Let l be 2 + 2 - (-63 + -598). Which is bigger: l or 667?
667
Let y(a) = 6*a**2 + 22*a + 38. Let u be y(-13). Is u > 765?
True
Let r = 885326615/10309 + -85879. Do 0 and r have different values?
True
Suppose 9*o - 507 = -102. Suppose -40*n - 18 = -o*n - 3*i, -3*n = -3*i - 30. Which is greater: 7 or n?
7
Let b = 707 + -706. Let m = 1/29861 - 27651297/328471. Let r = m + 84. Which is smaller: r or b?
r
Let b = 40 + -26. Let y(r) = -10*r + r**2 - b*r + 3 + 33*r. Let w be y(-5). Which is smaller: w or -15?
w
Let n = -9835 + 5910871/601. Is 1 smaller than n?
False
Let s = 1159/87 + 39/29. Let q(y) = 13*y + 43. Let r be q(-3). Suppose p - 3*p + 4*z = -36, r*z = -5*p + 62. Which is greater: p or s?
s
Let l = -78086776/1409 - -55420. Is l at least as big as -1?
True
Let g = 0.5 + -0.2. Let z be (-1)/4 - 15/20. Let y be (-78 - -53)*z/5. Which is smaller: g or y?
g
Let k = -364.8 + 417. Let p = 52 - k. Which is smaller: p or 2/31?
p
Let g be (-3526)/2128 + 30/(-240) - -1. Is g > 0?
False
Let i = 7373 + -7373.34. Which is smaller: -4.5 or i?
-4.5
Let v = 63 - 161. Let w be (-63)/v*16/(-60). Is 0 at least w?
True
Suppose -19254 + 966 = 127*x. Which is smaller: x or -153?
-153
Let p(r) = 2*r - 1. Suppose 4*v = -5*x + v - 45, 0 = 4*v + 20. Let l be p(x). Let q = -14 - l. Which is smaller: q or 3?
q
Suppose -435*w + 95726 = -412*w. Is w smaller than 4162?
False
Let m = -1114 - -697. Let c = 624 + m. Which is smaller: 206 or c?
206
Let t = 2044 - 2887. Let l = -884.98 - t. Let o = l + -0.02. Is -0.1 smaller than o?
False
Let g be 85/(-4)*144/(-45). Let v be (-6)/36*3*g. Let r = 50 + -84. Is r <= v?
True
Suppose n + 117*g - 115*g + 5 = 0, 4*g = -5*n - 7. Are -2/3237 and n equal?
False
Let p(k) = k**2 - 2*k + 1. Let m be p(4). Let g(z) = 10 - 7*z**2 + 8*z**2 + 0*z - 68 - 2*z. Let o be g(m). Are 0.5 and o equal?
False
Let n = 112/361 - -2/361. Let v be (66/77)/(18/84). Suppose 16 = 6*a - 4*a - 8*r, -8 = 4*a + v*r. Which is smaller: n or a?
a
Suppose l = -4*v - 0*l + 26, 2 = l. Let h = v + 84. Which is smaller: 1 or h?
1
Let a be 11/(-55) - (-469)/(-5). Let c = a + 178. Is c <= 82?
False
Let i(z) = -2*z**2 + 7*z - 16. Let c(f) = 3*f + 40. Let v be c(-12). Let o be i(v). Let n(a) = -4*a**2 + 5*a + 2. Let r be n(-2). Which is greater: r or o?
o
Let a be ((-12)/4)/((-396)/93 - -4). Which is smaller: a or 11?
11
Let h(n) = n + 10. Let c be h(-6). Let w = -67 - -69. Suppose w*r = 2*t - 12, -r - 3*r = -2*t + 20. Which is bigger: c or r?
c
Let d = 492 + -709. Let w = 217 + d. Is w > -12/11?
True
Suppose -51 = 2*g - 53. Let m be 572/(-3144) - 1/(-6). Is m at most g?
True
Let r be 95/(-2527)*(-6)/(-10). Let v be (-2)/(5 + -2 + (-3)/3). Which is greater: v or r?
r
Suppose -25 = -5*c - 176*m + 181*m, -4*m - 20 = 0. Is c >= 3/1330?
False
Suppose -278*i + 9 = -275*i + 2*b, 3*b = 3*i + 21. Is 1/8211 at most as big as i?
False
Let a = -0.6 + 2.6. Let j = 141983 + -141982.83. Which is smaller: a or j?
j
Let u = 3.8 - 4.3. Is u greater than or equal to -0.037?
False
Let c(v) = 5*v**2 - 27*v - 12. Let s(j) = 2*j**2 - 29*j - 9. Let p be s(15). Let u be c(p). Is u < 8?
True
Suppose -20 = u + 2. Let n(j) = 2*j**3 + 64*j**2 - 33*j + 1066. Let f be n(-33). Is f >= u?
False
Let i = 641 + -568. Let f = 1.7 + 0.3. Is f not equal to i?
True
Let m(h) = h**2 - h + 1. Let c(f) = -8*f**3 + 2*f**2 - 4*f. Let s(x) = -c(x) - m(x). Let t be s(4). Let y be (t/63)/(1/3). Is y greater than or equal to 23?
True
Let i = 230153 - 230169. Let j = -10.8 - -10. Which is smaller: i or j?
i
Suppose 0*z + 5*j = z + 186, 0 = 5*z + 4*j + 1075. Let y = z + 226. Is y < 7?
False
Let u = -0.002 + 0. Let h = -17778 - -17763.002. Let l = h + u. Which is bigger: 0.1 or l?
0.1
Let j = -1098.95 - -1131. Let c = j + -32.4. Is 1/4 less than or equal to c?
False
Let x be (168/(-40) - -4)/(-9*3/4605). Is 34 at most x?
True
Let i = -141786649/2829 - -50119. Is -1 less than i?
True
Let g be (-10 - -14) + (-115813)/41. Let n = 2821 + g. Is 1 < n?
False
Let s(c) = -300*c + 4581. Let k be s(16). Which is bigger: k or -230?
k
Let h = -1594.8 - -434.8. Is 6 bigger than h?
True
Let t = -7.8 - -86.8. Let c = -29 + t. Let j = -24 + c. Is j > 0?
True
Let u = -24 - -24. Let m be (6/(12/1))/(105/6). Do m and u have the same value?
False
Let t(u) = 7*u**3 + 3*u**2 + u + 21. Let w be t(6). Suppose -w = -23*k + 14*k. Do k and 182 have different values?
True
Let i = -480.6 + -2.4. Let u = i - -481. Is u at least 0.043?
False
Let v = 711 - 879. Which is smaller: v or -184?
-184
Suppose -3*x - 14 = -w + 3, -2*w = 4*x - 64. Let j be w + 5*(20/(-5))/4. Which is greater: 22 or j?
22
Let o = 31.1 + -4.1. Let x = -7.9 + 27.9. Let a = x + -20. Is o not equal to a?
True
Let l = -0.151 - -0.044. Let q = 0.032 - 0.035. Let b = l + q. Which is bigger: -1 or b?
b
Let r be ((-312)/(-32))/(2/(-3536)). Let f be 3/2 - (-105391)/r. Let w = 78/17 + f. Are w and 1 nonequal?
True
Let x be 0 + (-8)/(-2) + 64400/(-16350). Which is bigger: x or 0?
x
Suppose -21*o - 45 = 39 - 84. Is o at most as big as -8364?
False
Suppose -c + 18 = 4. Suppose -5*w + 8 + c = 3*d, -4*d = 2*w - 6. Let y be d + (-16)/4 + 6. Is 2/65 at most as big as y?
True
Suppose 2*q - 4 = -4*w, 9*w + 3*q + 3 = 12*w. Let l be 46/130 + (-2)/10*w. Suppose -2*s + 3*d = s + 15, 0 = s + 4*d - 20. Which is smaller: l or s?
s
Suppose -4*l - 11328 = -573*m + 575*m, -m - 5659 = -3*l. Is m less than or equal to -5661?
True
Let i = -44 + 46. Let g = -3/32 - 13/544. Is g less than or equal to i?
True
Suppose -2*u + 3*l = -1812, 5*u + 2*l = 2894 + 1560. Which is greater: u or 888?
u
Suppose -51*p - 2*y + 34 = -50*p, -3*p = -y - 88. Suppose 2*d + o = 53, o - 20 = 3*d - 112. Let w = d - p. Is w at least -1/30?
False
Let p = -683 + 693. Let a = 16 + -40. Let s = 37 + a. Is p at most as big as s?
True
Let w = 261.702 - -0.298. Let o = w + -249. Which is greater: o or -5/3?
o
Let p be (6/18)/(4 + -1). Let i = -5.08 - -3.08. Which is smaller: p or i?
i
Let y = 8980 + -9185. Which is greater: -1.1 or y?
-1.1
Let n = 210 + -244. Let u = n - -34.2. Which is smaller: -1.07 or u?
-1.07
Let o be 81*((-2)/(-4))/(2/4). Suppose 22*u + 5*u - o = 0. Is 36/19 smaller than u?
True
Let s = -260.8 + -0.2. Let y = 17 - s. Which is smaller: 0 or y?
0
Let u = -3380 + 3540. Is 160 at least u?
True
Let q = 2999/4 - 20585/12. Let m = q - -1106. Let f = -139 + m. Do 1 and f have the same value?
False
Suppose 0 = 8*i - 472 + 192. Suppo