- 3*t. Which is bigger: t or 7?
7
Suppose 4*m - 5*p + 32 = 10, -3*m - 3*p - 3 = 0. Suppose -9 = 2*y - 3, 2*l - 3*y - 55 = 0. Suppose r + r = a - 7, -5*a = 2*r - l. Which is greater: m or r?
r
Let z be 0 + 3/(-3)*5. Let u be z/79*(-4)/10. Which is smaller: 1 or u?
u
Suppose 2*f + 8 = -i, 16 = i - 2*i - 4*f. Is -6/13 greater than i?
False
Suppose 0*v - 1 = -v. Let c be (-40)/(-6)*v/8. Which is greater: 1 or c?
1
Let k = 9 + -2. Does 8 = k?
False
Let d be 1/(-3 - -4) + 0. Is d at least 4/3?
False
Suppose 0 = -2*u + 5 + 11. Let d be (-4)/6 - u/(-3). Let g be (-3)/(-1) + (-35)/15. Is g != d?
True
Let c be ((-165)/(-12))/(-11)*(-16)/6. Are c and 4 unequal?
True
Let o be ((-32)/(-24))/(4/3). Let q be 4/7 + (-2)/4. Is q less than or equal to o?
True
Let p = 47 - 43. Which is smaller: 1 or p?
1
Let i be ((-2)/11)/(21/(-84)). Is 0 at most as big as i?
True
Suppose -17 = d + 4*p, 2*d + p = -d + 4. Let s be 1/d + (-14)/6. Let v = 19/5 + -43/10. Is s at least v?
False
Suppose 2*j = 0, z + 2*j - 32 = 3*z. Are z and -18 equal?
False
Let s be (-8)/32 - 13/(-32). Which is bigger: -1 or s?
s
Let y = 39 + -155/4. Which is greater: y or 8?
8
Let w = 10 - 9. Let d = 9 - w. Is d at least as big as 2?
True
Let b(x) = x**3 + 11*x**2 - x - 10. Suppose -19*f + 24*f = -55. Let k be b(f). Is k greater than 1?
False
Let u = 73 + -74. Let b be 10/4*16/20. Suppose -w = -b*w. Which is greater: u or w?
w
Suppose -n = -5*n + 12. Let x be (-1)/n*(4 - 5). Is 0.1 < x?
True
Let o = 5 + -2. Suppose -o*r + 1 + 2 = 4*v, -5*r - 18 = -v. Suppose v*j + 2 = -1. Which is smaller: -1/4 or j?
j
Let q(n) = -n**2 - n. Let h be q(0). Let u = -34 + 985/29. Which is smaller: h or u?
u
Let b be -4*(3 + (-30)/8). Suppose 7*c = b*c - 16. Is c less than -3?
True
Suppose w - 2*w = 5*r - 3, -3*r + 21 = 3*w. Let n be (w/(-12))/(4/(-6)). Are n and 2/7 unequal?
True
Suppose 9*r - 10*r = -1. Which is smaller: r or -1?
-1
Let v be (5/(-1))/(13/26). Which is greater: v or -9?
-9
Let q be 524/18*(-6)/(-4). Let c(r) = -10*r**2 - r - 1. Let l be c(2). Let i = l + q. Which is bigger: 7 or i?
7
Suppose -5*m + 9 = -2*t, 6*m - 6 = t + 4*m. Which is bigger: -23/2 or t?
-23/2
Let s = 2 + 1. Suppose 2 = -b + s. Is 1/12 bigger than b?
False
Suppose 0 = -b + 6. Which is greater: 5 or b?
b
Let q be ((-2)/(-3) - 1)*-2. Let j = 43 - 23. Let b be (-4)/(-8) - 2/j. Is b < q?
True
Let q(j) = 6*j**2 - 2*j - 13. Let s be q(3). Is 35 less than or equal to s?
True
Let m = 67 + -271/4. Are m and 0 non-equal?
True
Let x(h) = -h**2 - 3*h. Let n be x(0). Suppose 0 = -r + 6 - 3. Suppose 4*c = c + r. Which is bigger: n or c?
c
Let a(u) = u + 4. Suppose 0*y = 3*y + 3*t - 18, 5*t - 20 = 5*y. Let l be (1 - y) + 2 - 5. Let v be a(l). Is v greater than or equal to 1?
True
Let l = -0.06 + -0.94. Let d = 0.1 - -0.2. Let p = d - 0.1. Is l at least p?
False
Let g = -2/1763 + 7122/61705. Which is smaller: 1 or g?
g
Suppose -2*b = -b - 3*b. Is 4/17 less than b?
False
Let b = -73/9 + 2281/279. Suppose -3*c + 9 = 5*d, 2*c - 6 = 2*d - 0*c. Which is greater: b or d?
b
Suppose 5*d + 678 = 2*d. Let o = -668/3 - d. Which is bigger: 4 or o?
4
Let g(p) = -p**2 + 5*p + 2. Let q be g(5). Let z be ((-2)/4)/(1/q). Let t be ((-2)/6)/((-4)/(-6)). Which is greater: z or t?
t
Let g be (2/(-4) - -1)/(3/(-87)). Which is smaller: g or -15?
-15
Let k(z) = -z**2 - 3*z - 1. Let x be -5 - (1 + (-4)/1). Let i be k(x). Suppose g = -2 + i. Are g and -2/25 equal?
False
Let f(l) = l + 10. Let k be f(-5). Suppose -3*d - 8 = k*h + 29, -5*d - 10 = -2*h. Let m = h - -6. Is m <= 1?
True
Let n(j) = -2*j**3 - 1 + 4*j**2 + 1. Let i be n(3). Let p be (-32)/18 - (-4)/i. Which is greater: 2/3 or p?
2/3
Suppose -17 = -4*y + 15. Let i be 6/(-4)*y/6. Let s be 6/28*4/3. Which is greater: i or s?
s
Let y = -502/147 - -4/49. Is y bigger than -3?
False
Suppose -296 = -4*b - 296. Let v be (-4)/(-2) - 2/(-1). Let l be ((-2)/18)/(1/v). Do b and l have the same value?
False
Suppose -r = 3*v - 13, 7 + 4 = v - r. Let q = -10 + v. Is q greater than or equal to -2?
False
Let a be 66/6 + -5 + -3. Let q(r) = -r + 1. Let o be q(-3). Is a equal to o?
False
Let v be (-1)/(-4) + (-18)/8. Let d be (0 + 3 - 0) + -6. Which is smaller: d or v?
d
Let j = 20 - 21.9. Let g = j + 2. Which is smaller: g or -2?
-2
Let n = -591/27550 - -2/475. Which is bigger: n or 1?
1
Let r(w) = -w**2 - 6*w - 1. Let l be r(-6). Let b be 2/(-2)*-1 - -2. Suppose -4*m - b*d = -3, 2*d + 0*d = -3*m + 2. Is m smaller than l?
False
Let c = 0.1 + 0.3. Let r = 0.1 + c. Is r at least as big as 1/4?
True
Let l be (7/(-819))/((-53)/42). Let u = l + -611930/14469. Let o = 42 + u. Which is greater: 0 or o?
0
Let d = -57 - -94. Suppose d = -3*o - s - 4*s, 5 = -5*o + 3*s. Let i = -5 - o. Is -2 > i?
False
Let u = 2 + -9. Let v be (-19)/u + 16/56. Which is greater: 5/2 or v?
v
Let r = 20 + -21. Are -5/11 and r unequal?
True
Suppose -63 = -5*f + 17. Suppose -3*n = 2*z + f, -5*n + 9 = -2*z + 25. Which is smaller: 3 or z?
z
Let q(p) = 7 - 13*p**2 + 12*p**2 + 10*p - 20. Let v be q(9). Is v at most -1?
True
Let f = -0.28 - 8.72. Which is greater: f or -0.2?
-0.2
Suppose 10 = 15*s - 20. Which is bigger: s or 13?
13
Let c = -3 - -2. Which is greater: c or 7/22?
7/22
Let d = 3.09 - 0.09. Is 2/7 > d?
False
Suppose 0 = -12*y + 3*y + 63. Is 4 <= y?
True
Let g(k) = k**3 - 9*k**2. Let h(s) = s**2. Let p be h(3). Suppose -n - p = -2*n. Let y be g(n). Which is smaller: y or 1?
y
Let p = 0 - 0. Let r = 12 - 7. Suppose q + q = 3*x + 7, r*x - q + 7 = 0. Which is bigger: x or p?
p
Suppose 2*z = -0*d - d - 5, 10 = -2*d. Let i(s) = s**3 - s**2 + 3*s - 1. Let u be i(2). Suppose z = -u*y + 4*y. Are 0.4 and y nonequal?
True
Let z = -215/14523 + -2/309. Which is smaller: z or -1?
-1
Let j = -3.3 - -3. Let q be 133/9 - (-4)/18. Let l be 2/(-6) + (-10)/q. Is j < l?
False
Let v = -28/5 - -97/20. Do 0 and v have the same value?
False
Let l = 31 + -30. Is l at least as big as 3/31?
True
Let j = -234 - -931/4. Is j >= -1?
False
Suppose 0*n + j = 5*n, 3*n - 3*j = 0. Suppose x - 1 = 3*s - n*x, 3*x + 8 = -2*s. Which is greater: s or -2?
s
Let m = -29.2 + 29. Is m at least as big as -5?
True
Let h = -0.2 + 0.5. Are h and -2 non-equal?
True
Let b = -247/4 + 62. Let n = -4 - -6. Let z be 2/(-6) - n/(-6). Which is smaller: z or b?
z
Let y be 6/(-4)*((-10)/(-3) + -3). Let l(o) = o**3 + o**2 - 2*o. Let k be l(-2). Which is smaller: k or y?
y
Let i = 23 - 1. Let r = 3 - 1. Suppose 5*t - i + r = 0. Is t < 3?
False
Let m = -2 - -3. Let g = m - 1.06. Let s = -0.06 - g. Is 0 equal to s?
True
Let v = 8 + -7. Let n be 3 + -4 - (1 - v). Is n <= 2/5?
True
Let i = 10 - 11. Which is bigger: -9/2 or i?
i
Suppose 0*y - 2*y = -3*l - 20, -4*l = 4*y. Suppose q + 2*q + 26 = 5*o, -o - 5 = -y*q. Which is smaller: 6 or o?
6
Let d be -1*0*(-2)/4. Suppose d*t - 5*t - 10 = 0. Do -2 and t have the same value?
True
Let m = 15 - 32. Let o = m + 12. Let r be 2/(-5)*30/3. Which is smaller: r or o?
o
Suppose 2*q + 18 = 5*q. Let j be ((-6)/(-20))/(-3)*q. Which is bigger: 0 or j?
0
Let b = 3 + -5. Let w = 14 - 8. Let q = w + -4. Do q and b have the same value?
False
Let d = -11 + 13. Let g be 1/((-12)/118) + 1. Let k = 61/6 + g. Which is bigger: k or d?
d
Let g = 0.2 + 0. Let m = 23.8 - 24. Is m at most as big as g?
True
Let s(r) = r**2 - 5*r + 1. Suppose -v + 5*q - 10 = 0, 5*q - 9 = 6. Let m be s(v). Let j be (0 + 2)/(6/4). Which is smaller: j or m?
m
Let v = 3 + -10. Let g = -141/2 + 71. Do v and g have different values?
True
Suppose k + 2*o = -3, 4*o = 5*k + o + 2. Which is smaller: k or 1/103?
k
Let w(t) = 15*t - 8*t - t**2 - 6*t. Let v be w(0). Which is smaller: -2/3 or v?
-2/3
Suppose -4*g - 3*a + 11 = 0, 10 - 1 = g + 2*a. Let v = 6 - 1. Is v greater than g?
True
Let l = 55645/42 - 8275/6. Let c = l + 54. Suppose -5*w + 4 = -1. Which is smaller: c or w?
c
Let i be 2/3*27/6. Let f be ((-1)/12)/(i/(-8)). Is f > 0?
True
Let r = -4.92 + 5. Which is smaller: 0 or r?
0
Suppose -22 = 5*m - 7, m = 4*y - 43. Let b = y - 16. Is -6 bigger than b?
False
Let d(l) = -l**2 + 5*l + 1. Let m be 1 + 2 - 2 - -5. Suppose -m*t + t + 25 = 0. Let p be d(t). Which is bigger: 1/5 or p?
p
Suppose 2*z = 0, 0 = 4*n - 5*z - 61 - 3. Which is smaller: n or 9?
9
Let o be 40/(-70) - 13/(-35). Is 3 >= o?
True
Suppose 0 = -5*m + 5*d - 15, -14