 22 + -22. Which is smaller: 1/36 or g?
g
Let g be (-95)/(-25) + 8/(24/(-9)). Let c = -0.03 + 2.03. Let h = 1.9 - c. Which is smaller: h or g?
h
Let c(d) = 2*d**3 - d**2 + 2*d + 3. Let v be c(3). Let p be 1/1 - v/51. Which is bigger: p or 0?
0
Let o = 212/3 - 70. Which is smaller: -1 or o?
-1
Let k = -1.8 + 1.77. Let v = 0.806 - -0.164. Let i = k - v. Is 0.1 greater than or equal to i?
True
Let f = 71.2 + -71. Which is bigger: 31 or f?
31
Let x = 3 + -8. Let m be (-8)/x - (-16)/40. Suppose -2*r - 6 = -m. Which is smaller: r or 0?
r
Let y be ((-26)/(-117))/(1/9). Suppose -4*g + 1 = 5*f + 14, y*g - 1 = -f. Is -0.1 greater than g?
False
Suppose 2*f + 4 = -5*n, 2*f = 2*n - 9 + 33. Let d = 13 - f. Which is bigger: 3 or d?
d
Let k be (-12)/(-5)*6/(-12). Which is bigger: 0 or k?
0
Let l(d) = 4*d - 6. Let c be l(5). Let n be 19*(c/(-4))/(-7). Which is bigger: 11 or n?
11
Let q be (-320)/55 + (-4)/22. Let w = 6 + q. Which is smaller: -1/4 or w?
-1/4
Let d = -2.8 - -3.2. Are 7 and d nonequal?
True
Suppose -2*p + p - 10 = 0. Let o be 3/1*p/135. Is 0 greater than or equal to o?
True
Let m = 16 + -5. Let t be (0/2)/(m + -9). Is t > 0?
False
Let i(o) = o**2 - 8*o + 10. Let t be i(6). Let b = -116/3 - -39. Is b greater than or equal to t?
True
Let j(a) = -a**2 - 6*a - 1. Let z be j(-6). Suppose 18 = 14*k - 20*k. Do k and z have different values?
True
Let r = -8 - -17. Let f(v) = -v**2 + 9*v + 3. Let p be f(r). Is p at least 2?
True
Let v = 4 + -8. Let l = 1 - 1.1. Is v < l?
True
Let t = 0.28 - 0.28. Which is smaller: t or 1?
t
Let b = 2/1193 + -72777/2386. Let o = b + 553/18. Let v be (4/(-6))/((-14)/21). Is o <= v?
True
Let o be (-5 - -3)/(1/3). Let p = o + 6. Is 4/3 greater than or equal to p?
True
Let j = -177 + 1313/6. Suppose -6*a = -10*a - 168. Let u = j + a. Which is bigger: 0 or u?
0
Let o be ((-12)/15)/((-13)/(-5)). Let d = 54/91 + o. Let u = 149 + -451/3. Which is greater: d or u?
d
Suppose -4*i = -3*i + 4. Let p be i*((-9)/12 - 1). Which is smaller: 8 or p?
p
Let r be ((-2)/((-4)/26))/(-22). Let s = -5383/4884 - -5/444. Let k = s - r. Is 0 at least as big as k?
True
Suppose -2*x - 30 = 4*g, 4*g = x - 14 - 1. Let q(s) = s**3 + 4*s**2 - 5*s - 6. Let w be q(g). Is w < -6?
False
Suppose -2 = -3*f + 2*f. Suppose 3*l + f*o - 10 = 0, 0 = l + l - 4*o + 20. Let n be (1/(-4))/(6/(-16)). Are n and l equal?
False
Let d be 15/(-25) - 2/(-5). Is 5/4 <= d?
False
Suppose 5*k - 2*k = 0. Suppose 5*z - 4*z + 1 = k. Which is greater: z or 0?
0
Suppose 9*j = 690 - 177. Which is smaller: 56 or j?
56
Let c(d) = -d - 4. Let t be c(-4). Suppose -3*s - 5*a + 23 = t, a + 0*a = 4*s. Which is smaller: 7/5 or s?
s
Let u = -4562522/21 + 217328. Let k = 65 - u. Which is smaller: -1 or k?
-1
Suppose 5*v - 14 = 2*j, -j + 1 = -2. Suppose v = u - 5*u. Which is greater: 1/10 or u?
1/10
Suppose 3*r - r = -n, 5 = 3*r - n. Let z be (-14)/(-35) + (-32)/5. Let y be (r + -1)/(-4 - z). Is 0 not equal to y?
False
Let x = -14 + 35. Suppose 3*a - 2*b = b + x, -a + 4*b + 1 = 0. Are a and 10 nonequal?
True
Let u = 202/455 + -1/65. Suppose 18*k = -16*k - 34. Which is bigger: u or k?
u
Let f(g) = -g**3 - 11*g**2 + 13*g + 16. Let v be f(-12). Let u be -1 + ((-2)/(-2) - 7). Let m = v + u. Which is smaller: m or 0.1?
m
Let r be (-12)/(-42) - (-19)/(-42). Let j(d) = -d**3 - 5*d**2. Let q be j(-5). Which is smaller: r or q?
r
Let r(u) = -u**2 - 4*u + 6. Let x = -3 - 2. Let w be r(x). Suppose 6*j = 3*j + b + 7, 2*b = 5*j - 13. Is j < w?
False
Suppose 3*a - 5 = y + 4*y, 0 = -3*y + a - 3. Is -2/25 < y?
False
Let p = -107 + 68. Is p <= -38?
True
Let o = 1.096 - -0.004. Is 3/5 not equal to o?
True
Suppose v = 4*v + 5*o - 26, 0 = -2*v + 3*o - 8. Is 1/3 equal to v?
False
Let k = -0.32 - -13.32. Let z = -5 + k. Let d = z + -6. Is d less than or equal to -2?
False
Let r = -4 + 2. Let d = 0.002 + 3.038. Let u = -0.04 + d. Do r and u have different values?
True
Let w(k) = k**3 + 3*k**2 + 2*k + 5. Let f be w(-3). Do -2/29 and f have the same value?
False
Let o(q) = -2*q - 13. Let g be o(-6). Which is greater: g or -2/61?
-2/61
Suppose 2*c + l = 3, 0 = -5*c + 4*l - 12 - 0. Suppose 4*y = 20, -4*y - 11 + 29 = 2*z. Let i = c + z. Is 0 >= i?
True
Let s be ((-5)/10)/(2/4). Is s at most -9/4?
False
Suppose -4*n - a = 3 + 5, 0 = 2*n - a + 10. Let r be n/(-2 - (-14)/10). Suppose k = 3, -r*x + 4*k = 9*k - 15. Are x and 2/3 nonequal?
True
Let t = 5 + -12. Let u = -4 - t. Let r = -26.7 + 27.7. Is r >= u?
False
Let t = -0.03 - -0.02. Let f = -0.01 - t. Which is greater: f or -2/7?
f
Suppose 5*k - 21 = -1. Which is bigger: k or 3?
k
Let c = -11 + 12. Which is greater: -3/7 or c?
c
Let a = -13 - -4. Let v = -9.1 - a. Is 0 at most as big as v?
False
Let j = 3 + -4. Are j and 2 unequal?
True
Let o = -0.014 + 0.114. Is 1/5 <= o?
False
Let z(m) = -m + 9. Let i be z(8). Suppose -3*j = q - 29, 52 = 5*q - 4*j - 17. Let f = 117/7 - q. Which is smaller: i or f?
f
Let j be 380/40*188/14. Let h = j - 128. Which is bigger: h or 0?
0
Suppose q - 5 = 0, z - q - 25 = 6*z. Let x(d) = -d**3 - 5*d**2 + 5*d - 3. Let o be x(z). Suppose -2*r = -o*r. Which is smaller: -0.1 or r?
-0.1
Let j(s) = s. Let g be j(5). Suppose 6 = z + 3*v, g*v = z - 0*z + 10. Let h = -4/7 - -9/28. Which is greater: h or z?
z
Suppose -148 = -0*a + 5*a - 3*v, 5*a = -5*v - 180. Which is smaller: -31 or a?
a
Let n be ((-15)/9 - -2)*-1. Let a be 40/22 + (-6)/(-33). Suppose 5*s = a*k, 5*s = 3*k - 6*k. Are n and s nonequal?
True
Let j = 38.7 + -39. Which is bigger: j or 4/5?
4/5
Let g(k) = -k**3 + 12*k**2 - 23*k + 24. Let p be g(10). Suppose 5*i + 5*j + 20 = 0, 5*i + 3*j + 15 + 9 = 0. Do i and p have the same value?
True
Let v = 0.029 - -9.971. Which is greater: v or -4?
v
Let k = -35.1 + 35. Which is smaller: k or 7?
k
Let a(v) = 0 + 0 + 1 + 2*v. Let f be a(-2). Let g be (f/9*-1)/(-1). Which is smaller: 1 or g?
g
Let f(x) = -x. Let y be f(-8). Let c = 13 - y. Suppose -3*u - 12 + 0 = c*v, -v + u = -4. Which is bigger: v or 2/5?
2/5
Let d = 1.1 - 1.2. Let m = 8.1 + -7. Let j = m + d. Which is smaller: -0.1 or j?
-0.1
Let m = -6 - -6. Let j = 379 + -13267/35. Which is bigger: j or m?
m
Let n be (-3)/4 + 201/(-12). Which is smaller: -0.1 or n?
n
Let z = -447 - -429. Let m be 10/4*(-3)/(-30). Is z less than or equal to m?
True
Suppose y + u - 19 = 5*u, -3*u - 17 = 2*y. Which is smaller: y or -2/51?
y
Let h = 3.19 - 0.49. Which is smaller: 0 or h?
0
Suppose 4*a + 4*a = 6*a. Do 2/3 and a have the same value?
False
Let n(f) = f**3 - 7*f**2 - 9*f + 6. Let t be n(8). Let p be (2/4)/(t/44). Is p smaller than -1?
True
Let x be (-4)/(-6) + 120/9. Let h be 4/x - 10/35. Let d be 1/(-2)*(-12)/39. Is h < d?
True
Let y = 15.1 + -15. Which is smaller: -3/10 or y?
-3/10
Let x = 9 + -16. Let p = -3 - x. Let y = -3 + p. Which is smaller: y or 0.3?
0.3
Let r = 2 - -6. Suppose 0 = -3*y + r*y - 4*a + 21, 4*y + 3*a - 8 = 0. Let u be (-2)/(-2 + 10/3). Which is bigger: u or y?
y
Let d = 66 + -61. Which is smaller: d or 40/11?
40/11
Suppose 6*x - 24 = 2*x. Which is greater: x or 7?
7
Let i(u) = -3*u + 12. Let o be i(5). Let l be (9/(-15))/(o/2). Is l smaller than 0.16?
False
Suppose 10 = -0*a - 5*a. Which is smaller: a or -3?
-3
Let b(y) = -10*y**2 + y + 6. Let s(x) = x**3 + x. Let l(o) = -b(o) + s(o). Let f be l(-10). Is f smaller than -7?
False
Let s(u) = u**2 + u. Let k be s(-1). Let z be 3 - 2 - (-1 + -1). Let h be ((-4)/z)/(6/1). Which is smaller: h or k?
h
Let k = -190 - -182. Let h = -0.4 - -0.2. Do h and k have the same value?
False
Let g be (-12)/(-24)*47608/(-26). Let f = g - -916. Which is smaller: f or 1?
f
Suppose -2*i + 3*z - 5 = 0, 0*i + i + 10 = 3*z. Let q = i + -4. Which is smaller: q or 0?
0
Let p be (-477)/(-3168) + (-4)/22. Is -1 > p?
False
Let w(v) = -v**2 - 9*v - 23. Let s be w(-5). Which is greater: -4 or s?
s
Suppose 8 = -l + 1. Let f be (-6)/(-8) - l/(-4). Are f and 0.2 nonequal?
True
Let m = -1 + 1. Suppose -2*v - 2*v - 76 = m. Is v > -19?
False
Let k(c) = c**2 + 8*c + 1. Let w be k(-7). Which is smaller: 0.1 or w?
w
Let w be (3/(-258))/(2/8). Which is smaller: w or -1?
-1
Let l = 4 + -1. Let p = -11 + 15. Is l equal to p?
False
Let r = 4/15 - 1/60. Let z = -8.92 - 0.08. Let w = z - -8. Is w bigger than r?
False
Let a = 293804/165 - 3561/2. Let r = -2/55 - a. Is 0 greater than 