r 1/3?
f
Suppose -5*j = 39 + 36. Which is bigger: -12 or j?
-12
Let d = -62/3 - -21. Is d > -0.026?
True
Let q be (-12)/(-6) - (-1)/((-3)/(-213)). Which is greater: 74 or q?
74
Let n = -18 + 31. Is n equal to 2/5?
False
Let k = 1 - 0.5. Let a = 1.5 - 2.1. Let n = k + a. Which is smaller: n or -0.4?
-0.4
Let t = -3.05 - -0.05. Which is smaller: t or 5?
t
Let c = 14 + -13.93. Let o = -0.17 + c. Which is greater: 7/4 or o?
7/4
Let h be (8/(-7) + 1)/(-2). Which is greater: h or 0?
h
Let h = -3 + 5. Let d(x) = x**2 + 15*x + 46. Let g be d(-4). Is h greater than g?
False
Let c be 2*(9/6 + 1). Let z = c - 5. Which is bigger: z or -6/11?
z
Suppose 0 = g - 0*g. Suppose 3*a + 5*c + 1 = 4, g = -a - 3*c + 1. Let h be -2*(6/4 - a). Which is greater: h or -2?
h
Let n(t) = 2*t**3 + 7*t + 9. Let k(w) = -3*w**3 - 11*w - 14. Let c(g) = -5*k(g) - 8*n(g). Let v be c(0). Let q be 1 + 0 - (-3 + 5). Which is greater: v or q?
q
Suppose -3*o = 3*i + 3, 3*i - 11 = 5*o - o. Which is smaller: i or 1/11?
1/11
Let n = -1536/3497 + -6/269. Suppose 3*c + 4 = -c. Which is smaller: c or n?
c
Let h = 133/4 - 33. Let m = -78 + 82. Is h != m?
True
Let h = 13 - 7. Which is smaller: h or 5?
5
Let a = -1.5 + 1.59. Let p = a - 8.09. Let l = -6 - p. Which is greater: -4 or l?
l
Let b(n) = n**3 + 11*n**2 + n + 6. Let x be b(-11). Let p be (1*-1)/(x/10). Suppose -4*f = -p*l, 7*l + 2*f = 2*l. Is l < -3?
False
Suppose -5*o = -5*l + 33 - 8, 3*l - 22 = -4*o. Let u(k) = -2*k + 8. Let w be u(l). Is 1 at most as big as w?
False
Let b be 1 - (-135)/(-4) - 0. Let c = b - -33. Let n = -0.034 + -0.166. Which is greater: n or c?
c
Let z be ((-2)/5)/(18/(-10)). Suppose 0 = 3*i + 2 - 5. Is z bigger than i?
False
Let c(y) = -y**3 + 4*y**2 - 2*y - 1. Let x be c(3). Let o(g) = 4*g**2 - g. Let f be o(x). Let w be (-4)/f + (-8)/(-14). Is 1 equal to w?
False
Let r(m) = m**3 + 6*m**2 + 6*m - 1. Suppose -12 = 3*p + 3. Let i be r(p). Is -5 equal to i?
False
Let p(l) = -3*l - 5. Let g be p(-5). Let o be 3/(-9)*9/g. Which is greater: o or 1?
1
Let a = 0.07 - -0.93. Let q = a + 0. Is -3 bigger than q?
False
Suppose -32 = -5*i + 4*l, 7 = 3*i - l - 15. Suppose -3*a - a - i = 0. Are -1 and a non-equal?
True
Let v = -14.14 + 14. Let n = v + 0.74. Is n at least 1?
False
Let v be ((-3)/18)/((-6)/(-8)). Let t be (5 - 5)/(3 - 2). Which is smaller: t or v?
v
Suppose h + 3 = -4. Let o(y) = y**2 + 7*y - 3. Let l be o(h). Are -0.1 and l nonequal?
True
Let y be ((-198)/(-60))/(-11)*8/(-6). Let q = -3 - -3. Is q at most as big as y?
True
Suppose 0 = 7*f - 4*f - 6. Suppose -f*d = -6*d + 2*l + 16, -2*d + 2*l + 10 = 0. Which is smaller: d or -2?
-2
Let d(t) = -4*t - 11. Let c be d(-1). Let w be 6/21 - (-58)/(-7). Is w > c?
False
Let g = 71 + -71. Is -4/45 < g?
True
Suppose -j = -0*j - 2. Suppose -3*d + j*d = 5. Which is smaller: -3 or d?
d
Suppose -3*v = v + 12. Suppose -4*d - 4 + 0 = 0. Let z = -3 - d. Which is bigger: z or v?
z
Suppose 3*w - m + 12 = 0, -w - 18 = -0*m - 5*m. Which is greater: w or -34/9?
w
Suppose -4*a - 3*b = -1, -7 = 3*a - 5*a + 5*b. Suppose -h - 5 - 2 = 0. Let z(y) = -y**2 - 7*y + 2. Let l be z(h). Is l at most as big as a?
False
Let n be (19 - -1 - 0)*116/(-145). Which is greater: n or -14?
-14
Let a be ((-10)/4)/(-5)*34. Suppose -5*d + a = 3*i, -d + 0 = -3*i - 7. Let l be ((-7)/(-2) - 3)*i. Is l not equal to 2/9?
True
Let p(u) = u**3 - 6*u**2 + 3*u. Let k be p(1). Is -15 at least as big as k?
False
Suppose -12*q = 7*q. Which is smaller: q or 1/32?
q
Suppose -9 + 39 = -5*w. Let o = 7 + w. Let n = 0 + 0. Is o != n?
True
Let t(j) = j**2 - 1. Let k be t(1). Suppose 2*q - o = 7, -2*q - 9*o = -4*o + 11. Which is smaller: q or k?
k
Let d be (3/1)/((-3)/2). Which is smaller: d or -14/9?
d
Suppose 0 = 5*k - 190 + 720. Let d = 528/5 + k. Is d at least as big as 1?
False
Let l be 10/45 - (-592)/9. Suppose -3*q + 3*z + 42 = 0, 5*q + z - l = -26. Suppose -q = -5*v - 3*c - 0*c, 0 = 2*v - 5*c - 16. Which is smaller: v or 0?
0
Let b(a) = -a**2 + 6*a + 11. Let n be b(-9). Let p = 1239/10 + n. Which is bigger: 1 or p?
1
Let k be 297/147 - (0 + 2). Is -1 less than or equal to k?
True
Let p be (-46)/6 + 8/12. Let s be ((-6)/(-10))/(p/5). Which is smaller: s or 0?
s
Let x = -5 - -6. Let b(h) = 2*h. Let c be b(x). Suppose -7 = -2*m - 3. Is c greater than or equal to m?
True
Let q = 1 - -12. Which is greater: q or 14?
14
Let a = -163/62 + 4/31. Which is greater: -3 or a?
a
Let u(h) = -h**2 - 6*h + 5. Let k be u(-7). Let n be (3/9)/(k/(-10)). Is 1 at most as big as n?
True
Let v = -29 - -40. Suppose 0 = 4*x - v + 3. Is 2 equal to x?
True
Let m(h) = -7*h**2 - 11*h + 5. Let u(j) = j**2 - 1. Let o(s) = m(s) + 6*u(s). Let r be o(-11). Let f = 0 + 0. Which is greater: r or f?
f
Suppose 0 = l - 0*l + 2. Let p(b) = b + 1. Let d(i) = -i + 8. Let h(k) = l*p(k) - d(k). Let t be h(-8). Are -1/2 and t unequal?
True
Let z(y) = -y**3 + 8*y**2 - 2*y + 2. Let u be z(6). Let t be u/(-150) - 6/(-18). Does 0 = t?
False
Let m = -0.1 + -0.8. Let h = -0.7 - m. Is h > -1?
True
Let l = 0.2 + -0.1. Let c = 21 + -20.2. Is c at most as big as l?
False
Let l = 0 + 0. Let q(v) = v**2 + v + 1. Let w be q(l). Let i = 381/5 - 76. Which is smaller: i or w?
i
Suppose 5*g + h - 97 = 0, 4*g - 30 = 2*h + 56. Which is bigger: g or 21?
21
Let c be 1/2*-4 + (-44)/(-20). Which is bigger: c or -0.3?
c
Suppose 0 = 2*j + j + 6. Suppose -g + 2*g + 4*u - 5 = 0, -2*g = 4*u - 2. Is g at most as big as j?
True
Suppose -23*f + 18*f = 0. Is f at most 2/5?
True
Let x = -0.07 - -1.17. Let d = -1 + x. Which is bigger: d or 3?
3
Let x = 75 + -53. Do x and 23 have the same value?
False
Let d(r) = -r**2 + r + 1. Let q be d(-1). Is q >= -11?
True
Let z be (-16)/2*2/(-4). Let k = 31 - 23. Let x be (z/(-16))/(6/k). Which is greater: -2/3 or x?
x
Let t = 1 - -5. Suppose -t*v = -2*v. Let o be 1 - 3 - (-3)/2. Which is greater: v or o?
v
Let n = -35.8 + 45. Let w = n + -9. Is 3 equal to w?
False
Let y = -2/57 + 124/285. Is y at most 0.04?
False
Let b = -3 - -2.6. Which is bigger: 1 or b?
1
Suppose 8*b = 11*b - 3. Let d = -3 + 2. Is b at least d?
True
Let r = 0.2 - -19.8. Let p = 20 - r. Do 4 and p have different values?
True
Let p = 0 + -1. Let o = 150/11 - 149/11. Are p and o equal?
False
Let h(g) = g + 3. Let d be h(-6). Let y(v) = v**3 - 5*v**2 - 7*v + 3. Let n be y(6). Is n >= d?
True
Suppose z = -2*f + 3, 0 = -4*z - f + 2 - 11. Is z at most as big as -8?
False
Let o = -173/3 - -57. Is o greater than 23?
False
Let g be -1 + (-15)/12 + (-2)/(-8). Is g greater than -24/7?
True
Let n = 5 + -5. Let p = 1 + n. Let v = 0 - p. Which is smaller: 0.2 or v?
v
Let b be (-8)/24*(-6)/(-4). Suppose 4 = -2*a - 4, 4*k - 16 = 5*a. Let m be 1/(-2)*(1 + k). Which is smaller: b or m?
b
Let n = -2 - -1. Let u(z) = 10*z**2 - z. Let h be u(n). Does 11 = h?
True
Let d = 14 - 13.9. Let c = -0.84 - -5.54. Let o = c + -5. Which is smaller: o or d?
o
Let i(z) = -2 - z + 4*z**2 - 3*z**2 + 3*z - z. Let d be i(-3). Which is smaller: 0 or d?
0
Let b = -3/5 - -58/105. Let l = 5/21 - b. Which is bigger: -1/2 or l?
l
Let g = -63 - -67. Which is smaller: g or -5?
-5
Let i = 0.4 + 0.1. Let b = -0.5 - i. Let l = 0 + b. Which is smaller: l or -0.2?
l
Let s(d) = d - 9. Let k(q) = q - 8. Let w(a) = 7*k(a) - 6*s(a). Let g be w(-4). Is -3 != g?
True
Let a(k) = -k + 0 + 2 + 2*k. Let t be a(-2). Let l = t + 5. Are l and 5 equal?
True
Let c be 3/12 - 14/120. Let y(m) = -m + 2. Let s(k) = -k**3 - 8*k**2 + 2. Let p be s(-8). Let f be y(p). Which is smaller: c or f?
f
Let h(x) = -x**3 - 12*x**2 - 11*x + 2. Let f be h(-11). Let s = 228 - 1133/5. Is s bigger than f?
False
Let d = 446/7 - 64. Let a = 27727 - 3077725/111. Let k = a - 3/37. Does d = k?
False
Suppose -2*f = 3*y - 0*f - 16, 2*y - 2*f = -6. Let q(t) = 2*t + 3*t**2 - 3*t - 3 + 7 - t**3 + 0*t**2. Let h be q(3). Which is smaller: y or h?
h
Let w = 17 - 16. Which is greater: 18 or w?
18
Suppose -2*f = -p + 38, -3*f - 2*f - 3*p - 106 = 0. Is -21 > f?
False
Let t be 2/6 + (-2)/(-3). Is t less than -1/14?
False
Suppose 0*v + 4 = 2*v. Suppose f - 4 = -v. Let b = f + -1. Which is greater: b or 2/7?
b
Let q(c) = c**3 + 7*c**2 + c + 6. Let y be q(-7). Is -1 smaller than y?
False
Suppose -2*a - 3 - 1 = -4*i, 4*a - 22 = 2*i. Is 6 at least as big as a?
False
Let k be (1 - 5)*(-6)/(-8).