or r?
u
Suppose 0 = -5*x - z + 1, -3*x + 0*x - 4*z = -4. Which is greater: -1/4 or x?
x
Let a(q) = 2 - 1 - 4 - 2*q. Let c be a(-2). Which is bigger: c or 2/17?
c
Let k = 8 - 4. Suppose -y + 2*y = k*c + 3, 26 = -3*c - 4*y. Let i(q) = 2*q + 3. Let o be i(-3). Which is bigger: c or o?
c
Let b = 0.56 - 0.06. Let i = b - 0.5. Does 2 = i?
False
Suppose b = -3*b + 28. Let w = b + -7. Let a be (-2)/8 - 6/8. Is w smaller than a?
False
Let n(z) = -3*z - 2*z + z**3 + 4 - 2*z**2 + z**3 - z**3. Let r be n(3). Let k be r - 0 - 10/(-5). Which is smaller: k or 1?
k
Let j = 4 - 6. Let d = 1.4 + -3.4. Is j <= d?
True
Let k(m) = -m - 17. Let c be k(-7). Let l = -22 - -12. Is l at least as big as c?
True
Suppose 5*s - 5*c + 10 = 0, 0 = -5*s + 2*s - 4*c + 8. Let d = 61 - 245/4. Which is smaller: s or d?
d
Let n = -11 + 15. Suppose -4*u - 5*a = 10 - 2, 16 = -n*a. Suppose 2*j + 5*w - u = 0, 4*j - 2*w = -0*w - 6. Does j = -2/13?
False
Let v be (0 - 0)/(2/(4 + -6)). Which is smaller: v or 3/4?
v
Let h be 246/(-14)*(-1)/(-5). Let y be (1/(-5))/((-12)/(-228)). Let z = y - h. Which is smaller: -1 or z?
-1
Let g = 36 - 30. Let o be -4 - (-2 + 0) - -4. Let s be (0/o)/(g + -8). Is 1/13 at most s?
False
Suppose 0*y + 3*y = -2*h, -5*y = -3*h. Let s(x) = x**2 - 2. Let i(w) = 2*w**2 - 3. Let r(l) = -4*i(l) + 7*s(l). Let z be r(y). Which is greater: z or -4?
z
Let y = 0.6 - 1.5. Let w = 0.6 + y. Which is greater: w or -1?
w
Suppose -2*g + 3 = -5*h, -3*g = h - 14 + 1. Is h >= -6?
True
Let g = -11 + 21. Suppose -15 = 5*u, -3*f + 4*u = -g - 8. Is 0 not equal to f?
True
Suppose 0 = -x + 4*x + 3. Let f be x + 1 + (3 - 7). Which is smaller: -2 or f?
f
Let h = -16 - -12. Let s = -5 - -3. Are h and s equal?
False
Let p be ((-5)/15*-4)/((-6)/(-9)). Which is smaller: p or 0?
0
Let r = 192/13 - 4390/299. Which is smaller: -1 or r?
-1
Let s = 0 + -0.2. Let x = -6.8 + s. Which is smaller: x or 0?
x
Let n = -3 + 0. Let s = -66 - -65.9. Is s at least as big as n?
True
Let m = -289/5 + 58. Let w be (3/(-3) - (-4)/6)*-3. Which is greater: m or w?
w
Let x(c) = -11*c - 2. Let g be x(2). Is -25 greater than g?
False
Suppose 3*b + 4*w + 49 = 0, 0 = 5*b - 3*w - 0*w + 72. Which is smaller: b or -14?
b
Let v = -1.2 - -0.2. Let g = -5 - -5.1. Let h = 0.1 + g. Which is smaller: h or v?
v
Let r = 0.08 - 0.18. Let m = r - 1.9. Are 1/2 and m nonequal?
True
Let i be ((-2)/(-9))/(15*(-2)/(-135)). Let w = 104 - 149. Let h be ((-3)/(-4))/(w/(-8)). Which is bigger: h or i?
i
Let a = 0 - -2. Suppose a = -3*u - 7. Which is smaller: u or -2?
u
Let t be 46*1/6*(-21)/7. Is t bigger than -21?
False
Let v = -35 - -83. Let a be ((-5)/(-10))/(2/v). Is a at least as big as 12?
True
Suppose y + y + t = 117, 0 = 4*y + t - 237. Suppose -y = -4*r - r. Let o be 6/r + (-1)/2. Which is greater: o or 1/5?
1/5
Let n = -32 + 29. Are -3 and n nonequal?
False
Let s(z) = -z**2 + 10*z - 8. Let t be s(4). Which is greater: 12 or t?
t
Let d = 1/3 + 1/3. Let s = -7 - -11. Let k = -3.95 + s. Is d equal to k?
False
Let i be 0 + 1 + -1 + 0. Suppose -8 = -o - 2*c, o - 4*c + i*c = -4. Is o < 5?
True
Let d(k) = 2*k - 4. Let o be d(7). Let u be (o/25)/((-4)/5). Suppose -9 = 3*m - 3. Which is smaller: u or m?
m
Suppose -2*d - 4*q = -30 - 16, 0 = -2*q - 2. Suppose 10*k - 5*k - d = 0. Let z = 0.1 + -0.1. Which is smaller: z or k?
z
Let z(t) = t**2 - 11*t + 5. Let c be z(9). Let j be c/(-21) - (-1)/(-3). Is 2 smaller than j?
False
Let o = -0.077 - -0.12. Let m = o + -2.143. Let i = 0.1 + m. Is -1/2 > i?
True
Let x(c) = 10*c**3 - 1. Let j be x(1). Let h = j - 9. Let q(l) = -l. Let v be q(h). Is v equal to -2/29?
False
Let k = 4834 - 333532/69. Let u = k - -3/23. Are u and 0 non-equal?
True
Let u(r) = 12*r - 12. Let o be u(1). Which is greater: -1/15 or o?
o
Let o = -1/7 - -15/56. Which is greater: 0.2 or o?
0.2
Let v = 0.6 - 0.8. Is v at least -2/17?
False
Let b be 1*2 - (48/(-2))/(-8). Is b at most -1?
True
Suppose -7*k = 132 - 146. Is -4/9 at least as big as k?
False
Let t = -1 + -4. Do t and -5 have different values?
False
Suppose 0*o = 4*o - 4, 5*o - 35 = -2*l. Suppose l*f - 7*f - 32 = 0. Which is greater: f or 2?
f
Let n = 492 + -470.1. Let x = -20 + n. Let o = x - 2. Is -3/5 < o?
True
Suppose -4*v + 0*v - 2*y = 30, 4*v = y - 45. Let k be ((-6)/v)/(-1) + 1. Which is greater: k or 3?
3
Let s = -62.1 - -62. Which is bigger: s or 44/9?
44/9
Let w = 106 + -107. Is -5/27 <= w?
False
Let m(d) = -d**3 - 5*d**2 - 4*d - 3. Let w be m(-4). Suppose 0*k - 47 = k. Let a = 91/2 + k. Which is greater: w or a?
a
Suppose -2*k - k - 18 = -4*j, 0 = j - 3*k - 9. Suppose 5*i + 2 = -j. Let t be 1*(2 - (-8)/(-2)). Is i greater than t?
True
Let f be ((-21)/(-5))/(1/5). Let n = f + -10. Suppose 4*p + 3 = 4*m + n, -m + 4*p - 11 = 0. Which is bigger: 0 or m?
m
Suppose 4*j - 5*j = -1. Suppose -9 = -2*f - j. Which is greater: 5 or f?
5
Suppose -5*l = -q - 8, -2*l + 0*l = 5*q - 14. Do 2 and l have the same value?
True
Let a = 6 - 6. Suppose 0 = -a*o - o. Let g = 143/3 - 48. Which is bigger: o or g?
o
Let p = 19 - 9. Suppose 2*n + p = 0, 0 = -2*j - 3*n + 6*n + 19. Is 7 at most as big as j?
False
Let m = 482 + -482. Let o = 5/94 - -341/658. Which is bigger: o or m?
o
Suppose 2*x - 7 = c + 7, 0 = 4*c + x + 29. Suppose 27 - 77 = 5*j. Which is greater: c or j?
c
Let c = 0.04 - 1.04. Let h = -0.9 - c. Which is smaller: h or 5?
h
Let b be (-4)/(-14) - (-115)/(-35). Let l be b + 2*3/6. Is l not equal to -4/7?
True
Let y = -0.24 - -0.14. Is 4 less than or equal to y?
False
Suppose 2*k + 0*k = 10, 5*l + 2*k + 30 = 0. Let n be (1*(-28)/4)/1. Is n greater than or equal to l?
True
Suppose -3*r + 6 = -6*r. Which is smaller: r or -4?
-4
Let q = -2/97 + -172/1067. Is -1 bigger than q?
False
Let p(y) = -y**3 - 10*y**2 - 8*y + 13. Let g be p(-9). Which is smaller: g or 3?
3
Let k = -1.3598 + 0.2288. Let d = k + 0.051. Let o = 0.08 + d. Is 3 at least as big as o?
True
Let j be 5 + -9 + 28/6. Which is smaller: -1/4 or j?
-1/4
Let r = 7.5 + -13.8. Let v = 6 + r. Let z = 0 - v. Which is smaller: z or -1/4?
-1/4
Let d = 1 - -1. Let h be (d/9)/((-8)/12). Is 0.1 at most as big as h?
False
Let v = -18 + 18.8. Is -1/2 greater than v?
False
Let n(c) = c - 11. Let m be n(6). Is m > -5?
False
Let m = -0.02 + -2.98. Let w = m + 3.2. Let b = 164/435 + 2/87. Is w bigger than b?
False
Let h be 46/(-10) + (-4)/10. Let t be (-1 - -2) + -2 + -3. Is t greater than h?
True
Let f = -13/25 + 93/275. Let v = 5 + -11. Let o be 1 + (v/(-3) - 2). Is o greater than or equal to f?
True
Let p(q) = q**3 + 3*q**2. Let i = 0 + 0. Suppose -5*j - 2*y - 23 = -i*j, -4 = y. Let n be p(j). Which is smaller: -2 or n?
-2
Let d = 2.046 + -0.046. Is d bigger than -0.01?
True
Let y = 3 - 0. Suppose -2*p - y = 1. Which is bigger: p or -3?
p
Let a be (-12)/42 + 202/21. Let l = a + -9. Is l at least -1?
True
Suppose 10*w = -6 + 6. Which is greater: w or -2/187?
w
Let j be (0 - -1)/((-3)/6). Let k be ((6*-2)/(-2))/j. Which is greater: k or -5?
k
Let y = 0.7 - 1. Which is greater: y or -1/7?
-1/7
Suppose 2*g + 2 = -0. Let c = -8 - -5. Let w = c - 0. Which is greater: g or w?
g
Suppose -5*d + 8 = -4*d. Let i be 3*d/6 + 1. Let c = i - 2. Are c and -1 nonequal?
True
Let n(a) = -a + 12. Let y be n(10). Let f = -9/4 + y. Is 2 < f?
False
Suppose x = -5*u - 21, 3*x + 0*x - 32 = 4*u. Let d = -13 + x. Is d smaller than -7?
True
Let d = -6 + 8. Suppose 5*p - 170 = 5*q, -162 = 3*q - d*p - 58. Let m be -1 - 14*2/q. Is m at most 1?
True
Let o = -1047/18011 - -10/217. Is o greater than or equal to 0?
False
Let c = 4 + -9/2. Which is smaller: c or 0.3?
c
Let c be 1*-1*(0 - 0). Which is smaller: c or 2/25?
c
Let d be (-8)/(96/(-98)) + 4/(-6). Are d and 9 equal?
False
Suppose -3*d = -5*d - 18. Is d != -10?
True
Let t(h) = h**2 - 23*h - 36. Let u be t(24). Which is bigger: -11 or u?
-11
Suppose -3*s - 28 = -4*s. Suppose 4*i - s = 32. Let r be -3 - -2 - (-21)/i. Which is bigger: -0.2 or r?
r
Let c = -0.04 - -0.44. Let l = 20.5 + -20. Let i = l - c. Which is smaller: 4 or i?
i
Let f be (5/10)/((-1)/(-10)). Let x = f - 4. Is x bigger than 1?
False
Suppose 3*b - j = -45, -45 = 3*b - 0*j + 3*j. Is -16 <= b?
True
Suppose 7*t - 3*t = 0. Let n be (-51)/(-9) - (-2)/6. Let p be n/28 - 1/2. Is p less than or equal to t?
True
Let w be -2*2/(-8)*0. Suppose -2*a + 3*