- 12*p + 5. Let g be b(12). Suppose -i + 1 = -1. Suppose -u + 1 = -i*x, -5 = 5*x - 5*u + g. Is 3/7 at least x?
False
Suppose 1515 = t + z + 2*z, 5*z - 3032 = -2*t. Let u be 3 + ((-3)/4 - t/(-12)). Which is greater: u or 128?
u
Let q(s) = s**2 - s + 20. Suppose 0*z + z = -3*r - 3, 4*r = z + 3. Let f be q(r). Let y be (-3 - -6) + f/2. Is 13 bigger than y?
False
Let z = -0.0074 - 0.0926. Which is smaller: z or -26?
-26
Let w = -721.3 - -721. Do 0.076 and w have different values?
True
Let r be (19 - 9) + 891/(-55). Is r at least 0.1?
False
Let u be 8/(-20)*1495/104. Which is smaller: -7 or u?
-7
Let l = 103 - 100. Suppose -l*u + 109 = 2*c, -2*c + 0*u = -3*u - 115. Is 57 != c?
True
Let s = -305 - -376.6. Let d = -74 + s. Is d != -2?
True
Let u be 4*1 - (-2201)/(-527). Which is bigger: 1 or u?
1
Let j = 0.08 - -17.92. Let w = j + -20. Is -2 equal to w?
True
Let n = 237 - 237. Which is smaller: 423 or n?
n
Suppose -3*v + 21 = -2*h + 15, -4 = -5*h - 2*v. Which is bigger: h or 4/107?
4/107
Suppose 5*v + 4*q - 5371 = 0, 0 = 2*v - 5*q + q - 2126. Let g be (-490)/v - 2/(-9). Let o(d) = d**2 - 4*d + 2. Let i be o(3). Which is bigger: g or i?
g
Let j = 0.04 + -1.84. Let r = -1.8719 + 0.0719. Let g = r - j. Which is smaller: g or -7/2?
-7/2
Let k be (2094/4 + (-9)/(-18))/(-2). Is k less than or equal to -263?
False
Let p be -1 - 5*(1 - -18). Let o = -88 - p. Do 8 and o have the same value?
True
Suppose -4*q = -3*s - 11, 39*s = 34*s + 5*q - 10. Which is greater: s or -70/3?
s
Let s(p) = -p**2 - 11*p - 4. Let v be s(-8). Let u = -34 + v. Let t be -2*(-15)/(-10)*(2 + 3). Which is smaller: u or t?
t
Let u = -301.48 + 301.5. Let h = -1 - 0. Is u less than h?
False
Let a = 1.1 + -1. Let p = 0.9 + a. Let k(j) = -40*j - 120. Let y be k(-3). Is y less than p?
True
Let c = -4 + 9. Suppose 3*v - v + 71 = c*o, o - 13 = v. Let y be (1/93)/((-5)/o). Is 1 not equal to y?
True
Suppose -12*c + 8*c = 0. Suppose c = 2*t - 8, -m + 2*t = -3*t - 2. Let d be 4/(-5)*(-5)/m. Is 1 at most as big as d?
False
Let t = 213/26 + -748/91. Let v = 3/26 - t. Which is smaller: v or 1?
v
Let g = -35 - 168. Which is smaller: g or 0?
g
Let x = -1146/1873 - 173766293/44952. Let d = x - -3867. Let m = -1/120 - d. Which is smaller: 0 or m?
m
Let g = 121/1413 - -4/157. Do g and -4 have the same value?
False
Let t = -1026 - -1200. Does 172 = t?
False
Let w = -18/1283 + 5120/547841. Which is smaller: w or 0?
w
Let x = -25 + 26. Let u be (-52)/140 - (-6)/(-30). Which is bigger: u or x?
x
Let c = -240 + 6721/28. Let r = 26 - 21. Suppose -g + 5 = r*y - 2*g, 3*g = -2*y + 2. Which is smaller: c or y?
c
Suppose 3*g - 5 = -n, -3*g - 2*n = -8 + 1. Is g at most 1/119?
False
Let s = 44 + -26. Let i = s - 3. Which is smaller: 13 or i?
13
Suppose a = 3*i, 4*a + 0*i - 2*i + 40 = 0. Let r be -4 + 2*(-3)/a. Which is smaller: r or 0.2?
r
Let r = 1308 + -66710/51. Which is smaller: r or -16?
-16
Let p = -62 + 280. Let l be (p/4)/(7/14). Is l at most 108?
False
Suppose o - 4*a = 26, 3*o + 0*a = -2*a + 8. Is o greater than 1?
True
Let o = -73937377571/3880 + 19056025. Let p = 7/97 + o. Is p less than 0?
True
Let a = -0.12 + -0.14. Let p = a - 0.14. Is 2 smaller than p?
False
Let z = 1454 - 1453.9. Do -679 and z have the same value?
False
Suppose 4*q + 4*s = -1484, -3*q + 4*s - 683 = 465. Which is greater: q or -374?
-374
Let c(l) = l + 2. Let u be c(-5). Let b(n) = -n**3 - 2*n**2 + 5*n + 3. Let f be b(u). Let v be ((-15)/50)/(f/4). Which is bigger: v or 1?
1
Let z(o) = o**2 + 12*o - 5. Let v be z(-12). Let n = -1 + -2. Let w = -7 - n. Is v greater than w?
False
Let x = 315 + -1305. Is -990 at most x?
True
Let n(u) = 2*u + 19. Let a be n(-8). Suppose 0 = 3*s - j - 5, 0 = -2*s + a*j + 5 - 4. Is 20/9 at least as big as s?
True
Let m = -563 + 15199/27. Let d = 341 - 341. Which is greater: d or m?
d
Suppose -5*o + 2*o = 2535. Let t = 4247/5 + o. Is 5 not equal to t?
True
Let t(j) = 9*j**3 + j**2 - j. Let f be (-3)/(-2)*(-68)/6. Let n = f - -18. Let i be t(n). Is i less than 9?
False
Let i = 1558/5 + -6787/20. Let l = -27 - 1. Let w = l - i. Is w at least 1?
False
Let i = 0.8 + -1. Let o be 4/(-34) - (-18632)/1156. Which is greater: o or i?
o
Let k be (-83)/(-2)*(-20 - -26). Are k and 249 non-equal?
False
Let b be 7 - ((-144)/264)/(2/(-22)). Is 21/25 greater than or equal to b?
False
Let s be ((-6)/4*2)/((-111)/(-1036)). Is -2/7 > s?
True
Suppose 0 = -15*w + 4*w + 451. Suppose w = -3*n - 4. Let l = 0 + 0. Is l greater than n?
True
Let s be 9*4/(-96) - (-2258)/(-16). Is -143 at most as big as s?
True
Let d = -9 - -9. Let q be -6 + 6 + (-4)/(-2). Suppose 2*v + 2*v = -q*j + 22, 5*j = 3*v + 42. Which is smaller: j or d?
d
Let h = 0.978 - 0.988. Which is bigger: 1 or h?
1
Let x = 176528/13023 - -2/4341. Is x < 13?
False
Let d = -219 + 534. Which is smaller: d or 318?
d
Suppose -20*j + 16 = -16*j. Let i be (-1 + (-2)/j)*-8. Is i > 0?
True
Let f(z) = -z**2 + 10*z + 170. Let u be f(22). Are -92 and u equal?
False
Let w be 276/27 + (-6)/27. Let j be 12/w - (-18)/(-30). Let m(a) = a**3 - 3*a**2 - 4*a + 1. Let f be m(4). Which is greater: f or j?
f
Let n be 84/15 + (-4)/(-10). Let v be ((-4)/n)/((-2)/(-3)). Which is greater: 4/65 or v?
4/65
Suppose -i = 3*g + 24, -2*i + g - 36 = -9. Which is smaller: i or -17?
-17
Let r = 0.732 + -0.532. Is -20.4 at least as big as r?
False
Let h(x) = x**2 - x + 2. Let r be h(3). Let g = 1917 - 9544/5. Which is bigger: r or g?
g
Let m(h) = 579*h + 1736. Let s be m(-3). Let f be (-2)/(-1) - 8/3. Which is smaller: s or f?
s
Let t(o) = o**2 - 2*o + 1. Let x be t(-1). Suppose 6*u - 2 = x. Let h = -13/5 + 4. Is u >= h?
False
Let p be 16/(-26)*(-624)/96. Is p smaller than -87?
False
Let b = -11 + 13. Suppose -3*n = -b*n - 5. Suppose d + 5 = -4*t - 4, -n = t + 3*d. Which is smaller: t or -3?
-3
Let w = 17.14 + -17. Let r = -8.46 - -0.6. Let c = w - r. Which is smaller: c or -1?
-1
Let j = 33 + -33. Suppose j = -4*q - 0*q + 64. Which is smaller: 17 or q?
q
Let j = 0.2 + -1.2. Let d = 6 - j. Let q = 62.3 + -62.4. Which is greater: q or d?
d
Let r(a) = a + 8. Let c be r(-8). Let l be 2*-6*(-2)/(-24). Which is bigger: l or c?
c
Let x be ((54/15)/(-2))/(6/(-70)). Is 22 bigger than x?
True
Suppose 4*w + 4*a = -a + 269, 25 = 5*a. Is w less than 61?
False
Let k = -95 + 50. Which is greater: -44 or k?
-44
Let d = 0.13 - 0.03. Let g = -5442/17 + 320. Which is bigger: g or d?
d
Let g be (2 - (4 + 1)) + (-122 - -125). Which is smaller: g or 2/391?
g
Suppose l - 2*i + 88 = -4*l, -50 = 3*l - 4*i. Let c be l/(-6)*8/6. Suppose 0 = -c*n + 5 + 3. Which is smaller: 6 or n?
n
Let k(r) be the first derivative of r**4/4 - 5*r**3/3 - 3*r**2 + r + 1. Let d be 7*8/9 + 16/(-72). Let b be k(d). Which is smaller: 2 or b?
b
Let g = 1.5 - 4.1. Let b = -14.6 - g. Let f = -12.09 - b. Is f less than 1/2?
True
Let f = -17 + 25. Let l = f + -8. Suppose l*b - 2*b = -14. Are b and 8 equal?
False
Let u = 12.13 - 12. Let q = -0.155 + 0.055. Let g = u + q. Which is smaller: g or -1/2?
-1/2
Let f = -425 - -410. Which is bigger: -81/5 or f?
f
Let a be ((-45)/(-18))/((-1)/(-4)). Which is smaller: a or 32/3?
a
Let r be ((-1)/((-3)/(-14)))/(-34 - -38). Let n = 26/21 + r. Which is smaller: 1 or n?
n
Let k(q) = 2*q**2 + 2*q - 5. Let s(z) be the second derivative of z**4/2 + z**3 - 8*z**2 + 6*z. Let t(l) = 7*k(l) - 2*s(l). Let p be t(2). Is p at most 8?
False
Suppose -2*f + 24 = 32. Does f = -11?
False
Let i be ((-3)/23)/(6/(-12)). Let c = 34 - 24. Let f(j) = j - 11. Let h be f(c). Which is bigger: i or h?
i
Let m(t) = -11*t**2 - 12*t - 16. Let r be m(-3). Are -79 and r equal?
True
Suppose h + 28 = -3*h. Let s be (-4322)/(-36)*(h - -10). Let i = 359 - s. Is -1 less than i?
False
Let w = 880 + -1112. Which is smaller: w or -230?
w
Let l = -23078 + 23077.9. Let c = -0.072 - 33.928. Which is greater: c or l?
l
Let n be ((-6)/(-18))/(3/9). Let m = 889/333 - 25/9. Is n greater than m?
True
Let j = -94376/63 - -1498. Suppose u = -5*d, 0*d + 3*d = u. Is d bigger than j?
True
Suppose 7*l - 28 = -2*q + 3*l, 2*q - 33 = -5*l. Let u(p) = p**3 - 3*p**2 - 3*p. Let t be u(q). Let c be 1/(1*(-4)/t). Is -3 at most as big as c?
True
Let g = 148 - 183. Is -33 bigger than g?
True
Let u = 20211/11 + -1837. Does 9 = u?
False
Suppose 5*r - 18 = -73. Let f(n) = -n**3 - n + 22