
13
Suppose -12 = 2*f - 20. Let z = 0.38 - -0.62. Let j = z - 0.6. Which is greater: j or f?
f
Let c = -10 - -11. Let m be c + -3 - (-26)/8. Is m >= 1/2?
True
Let t(m) = -m**3 - m**2 + m - 1. Let y(h) = 4*h**3 - 9*h**2 - 2*h + 16. Let u(g) = 3*t(g) + y(g). Let l = 17 - 5. Let i be u(l). Is 25 >= i?
True
Let r = 458.4 - 447. Which is smaller: 6 or r?
6
Let f = 51 + -76. Let a = -101 - f. Let q = a + 76. Which is bigger: -0.02 or q?
q
Let j be ((-16)/12)/(((-47050)/(-15))/(-10)). Which is smaller: 0 or j?
0
Let m be (14/6 - 2) + 11800/1104 + -10. Which is greater: m or 0.1?
m
Let d(p) = p**3 + 9*p**2 - 76. Let c be d(-7). Let y = -1.2 - 4.8. Is c >= y?
True
Let b = -570/11 + 7020087/135476. Which is smaller: b or 0?
b
Let z be (-8)/2 - ((6 - 4) + 70). Let x = -82 - z. Which is bigger: -92/13 or x?
x
Let v = -1166.9149 - -1.9149. Is v at most -2/9?
True
Let i = -727387946/13445 + 54101. Are i and 1 non-equal?
True
Let f = 25777 - 25800. Are -295 and f non-equal?
True
Suppose 4*h = 2*u - 2878, 0 = -5*u - 5*h + 4298 + 2897. Suppose 2*b - u = -1371. Is b greater than or equal to 33?
True
Let m(v) = -55*v - 157. Let w be m(-3). Which is smaller: -110 or w?
-110
Let v be 1 - (-628)/(-996) - (-3)/(-9). Let k = 2634396 + -12681982253/4814. Let t = k - v. Which is smaller: t or 1?
t
Let n = 288463 + -18749561/65. Which is bigger: 8 or n?
n
Let r = 2 + -1.9. Suppose 0 = -n - 5*b + 69, -3*b + 58 = n - 19. Suppose 23 = 6*p + n. Is r smaller than p?
False
Let a(f) = 13*f**2 - 3*f + 3. Let g be a(4). Let r(y) = 2*y**2 - 2085*y + 33045. Let c be r(16). Do g and c have different values?
True
Suppose 0*w + 6*w = 12. Suppose -48 = w*g + 2*g. Let q be 38*(-4)/g*-3. Is q greater than or equal to -38?
True
Let w = 3027 - 3780. Is -752 equal to w?
False
Suppose 5*u = 2*u + 9. Suppose -8*b = -u*b + 4*a + 28, -8 = 4*a. Let s be ((-2)/b)/(2/(-3 + 171)). Is s smaller than 42?
False
Suppose 1815 - 407 = 16*p. Let l be 11 + -6 + -2 + -1. Are l and p non-equal?
True
Suppose 1306 = 6*m - 116. Suppose -232*o + m*o = 5. Which is greater: o or -0.11?
o
Let g = 3844 - 3899. Is -271/5 < g?
False
Let y = -2/91 - 3/35. Let r(l) = -l**3 + 6*l**2 + l + 42. Let g be r(7). Do g and y have the same value?
False
Let g = -10353 - -10360. Are 119/15 and g equal?
False
Suppose 12*w + 2 = 11*w. Let q be w/(-8) + (-35)/28. Let z be 2*q/4 + 2060/(-120). Which is smaller: z or -17?
z
Let i be (0/(-1))/(7/7) - 3. Let h be ((-255)/(-6))/(i - 20/(-8)). Let b = h + 70. Do -16 and b have different values?
True
Suppose -2*l + 428 = -6*l. Let m be 2/(-3) - 84296/771. Which is greater: m or l?
l
Let p(h) = h**2 + 2*h - 15. Let l be p(-6). Suppose 0 = -l*k + 24 - 15. Are -1/25 and k equal?
False
Let y = -7131 + 42821/6. Is 11 at least y?
True
Let w be (153/(-34))/(2/(-216)). Let d = 427 - w. Is -59 less than d?
False
Let l = 401 + -388.33. Let v = l + 0.33. Let g = 0.45 + -0.25. Which is greater: g or v?
v
Let r = -2 + 3.2. Let p = 3 - r. Let l = -3911/7 + 559. Does l = p?
False
Suppose 2*y + 5 = -5*h, -24*h + 4*y = -25*h - 1. Let o = 20/217 + -56/31. Is h less than or equal to o?
False
Let w be (133/14)/(-19)*(2 + -32). Suppose 19*o - w*o = -4*m - 8, 3*o + 30 = 5*m. Is 1.05 equal to m?
False
Let n = -19.13 + 20.1. Let c = -0.63 + n. Which is smaller: c or -5?
-5
Suppose 2440 = 178*h - 158*h. Is h greater than 123?
False
Let c = 163 - 156. Suppose 0*x = c*x. Let n be 3*(1 + -4 + 2). Which is bigger: n or x?
x
Let i be 3 + -3 + 95 - 3. Suppose -5 = -o - 8*n + 4*n, 2*n = 4*o - i. Let m(w) = 3*w**2 - 5*w + 10. Let p be m(3). Which is greater: p or o?
p
Let l(g) = 2*g**2 + 25*g - 357. Let q be l(-17). Is q <= 13?
True
Suppose 0 = 2*n - o + 1806, 8*n + 2708 = 5*n + o. Let g be 16/40 - n/495. Which is smaller: g or 10?
g
Let l = 7.852 + 1.878. Let m = l + 0.27. Let v be 2*6/(-48)*4. Is v != m?
True
Suppose 328 = -16*j + 328. Which is bigger: 7/100 or j?
7/100
Let j(u) = -6*u + 49. Let k be j(10). Let n(o) = -o**3 - 8*o**2 + 10*o + 11. Let x be n(-9). Suppose -x*b + 0 = 16. Which is greater: k or b?
b
Suppose -44*t + 39*t - c = -2326, 0 = -5*t - 4*c + 2329. Is t smaller than 463?
False
Let o be (-4)/(-12) + 66/(-9) + 5. Let v be 13*(o*(-9)/6 - 2). Is v at most as big as 6?
False
Suppose -2*w = -5*w + 21. Let d(x) = 2*x**3 + 19*x**2 - 939*x - 9300. Let v be d(-10). Are w and v unequal?
True
Let t = -319.223 - -0.223. Is t less than 3/2?
True
Let t = 7.973 - 9.29. Let h = t + 0.945. Is h greater than 0.1?
False
Let x be 2/(-6)*(-3)/(-2)*(-1272)/1899944. Which is bigger: -1 or x?
x
Let k = 41.4 - 42. Let v = 0.36 + k. Let f = -16/15 + 2/3. Is f at least v?
False
Let a be 2/(-7) - (-18)/(-819). Let l be 8/3 - 3*8/(-18). Suppose l*c + c = p + 26, 24 = -4*p + 4*c. Which is smaller: a or p?
p
Let u be 4/82 - 1998/103156. Let v(c) be the second derivative of -c**4/12 + c**3 + 4*c**2 + c. Let q be v(7). Which is smaller: u or q?
u
Let p = 64/105 - 9/14. Let i = 6 - 3. Suppose -4 = 7*w - i*w. Is w >= p?
False
Suppose -u = 4*l + 2436, 0 = 3*u - 5*l + 2447 + 4997. Is -2469 bigger than u?
False
Suppose -c = -2*c - 2*c. Suppose c = -7*i + 12*i - 45. Suppose i*j = 6*j - 15. Is j <= -5?
True
Suppose 0 = -0*t + t - 15. Suppose -5*f = 3*q - 6 - t, -1 = f - 2*q. Let r = -7842 - -31383/4. Are f and r equal?
False
Let x = 0.11 - -0.09. Suppose -3*d + 9 = 3*k, 2*k - 6 = -60*d + 64*d. Which is greater: d or x?
x
Let f = 38 + -68. Let a = 30 + f. Suppose -2*x + 40 + 4 = a. Is x less than 22?
False
Let a = -140 + 250. Let f be 278/a - (1 + 6/(-5)). Which is smaller: f or 2?
2
Let a = -3881 - -3874. Let r(j) = -8*j - 2*j**2 + 0*j**2 - 2 + j**2. Let d be r(a). Which is bigger: 23/5 or d?
d
Suppose 43*n - 240 = -2*d - 157, 5*n = -2*d + 121. Let i be -59*1*(0 - 1). Which is bigger: i or d?
d
Let m be 2216*(-7 - (-86)/8). Is m at most as big as -1?
False
Let g = -0.4862 + 91.4862. Which is greater: -12 or g?
g
Let i be ((-1)/442)/(((-396)/8)/(-33)). Which is greater: 0 or i?
0
Let c be 1/(3/9) + 6. Let o = 292 - 272. Suppose -c = -a + o. Which is smaller: 28 or a?
28
Let n be -33*-2*(-2)/(-3). Let d = -117 - -81. Let t be d/(-8)*(16 - 6). Is t bigger than n?
True
Let n be 3866/(-8)*((-2016)/68)/7. Let v = 2046 - n. Is v bigger than 0?
False
Let y(o) = 4*o**2 + o + 3. Let a be y(2). Let d = a - 25. Let j be 30/24 - d/(-16). Is j bigger than 0.1?
True
Let o(c) = -21*c + 802. Let g be o(-32). Is g at least as big as 1474?
True
Let a(g) = -g**2 - 2*g + 1. Let d be a(-2). Suppose 4*m = 5*k - 2901, -2*k + 618 + 549 = 5*m. Let f = -12197/21 + k. Is d equal to f?
False
Let h be 1/((-3)/383*(-51)/306). Which is greater: h or 765?
h
Let f = 8 - 8.8. Let s = -0.397 + 0.237. Let y = 0.26 + s. Which is bigger: f or y?
y
Let t(g) = g**2 - g - 12. Let y be t(-3). Suppose y = -3*a + 76 + 260. Which is smaller: 110 or a?
110
Suppose -2*s - 15 = -5, -2*a = 2*s + 24. Let c be ((-10)/5 - a) + -21. Let v = c - -16. Is v < -4/23?
False
Let c = -118/727 + 2525343/2908. Which is smaller: c or 867?
867
Suppose -2*o - 5*i = 1637, -2*i - 376 + 2006 = -2*o. Let r be (-3)/9 - o/(-9). Let b be 4/(-10) - r/65. Is b > 1?
False
Suppose -120 = -6*u + 2*u. Suppose 121 = -3*r + 2*s, -2*r + s = 35 + 44. Let q = r + u. Is -7 smaller than q?
False
Suppose 4*z - o = -5, -3*z + 7*o - 3*o - 7 = 0. Let j = 44079 + -44076.78. Is z < j?
True
Let l(h) = 3*h - 2. Suppose 5*n + 11 = -9. Let x be l(n). Let w = 130 + -130. Which is bigger: w or x?
w
Suppose -23*h + 310 = 8*h. Let w(k) = 28*k - 184. Let j be w(h). Is 97 equal to j?
False
Suppose 2*s = 3*y + 163, -3*y - s = -6*y - 158. Let t be (-230)/8 + 9/12. Let q = t - y. Which is smaller: q or 24?
q
Let c = 295 - 295. Suppose 18*m - 12 + 48 = c. Does -6 = m?
False
Let x = -143715 + 492223869/3425. Is x at least as big as 1?
False
Let r = 9021 + 6686. Which is smaller: 15708 or r?
r
Suppose -9*w + 12*w - 123 = 0. Suppose 20 = 4*q, 3*x - 61*q = -58*q + 105. Do w and x have different values?
True
Let r be (-7 - (17 + -1))/(-2 - -2 - 1). Is 20 <= r?
True
Let m(r) = r**3 + 2*r**2 - 6*r + 3. Suppose 0*d + 2*d = 4*v + 26, -5*v = -2*d + 30. Suppose d*j - 2 - 8 = 0. Let y be m(j). Which is smaller: 2 or y?
2
Suppose -5*c + 4 + 76 = -4*j, 0 = -5*c + 2*j + 70. Suppose -3*v = -5*y - c, v - 16 = -3*v - y. Which is greater: v or 60/17?
v
Let d 