r p?
2/33
Let a(p) = -8*p - 12. Let j be a(3). Which is smaller: 5 or j?
j
Let h be (-11)/(539/(-14))*21/705. Is h smaller than -2?
False
Let q = 555 - 671. Which is smaller: q or -114?
q
Suppose -15*y - 18 = -483. Are 30 and y equal?
False
Let p be 50/(-176) + (-114)/(-304) - -1. Let u = 0 - 0. Which is bigger: p or u?
p
Let l = -0.13 - -1.83. Suppose -2 = -4*f + 5*r - 6*r, -2*f - 5*r = 8. Is f != l?
True
Suppose 3*m - 9 = 0, -h + 4*m - 73 = -0*h. Let v = h - -59. Are -6/5 and v nonequal?
True
Let a be 29/(-58)*((-2)/(-358))/1. Which is smaller: 1 or a?
a
Let k be 6/(-9) - (-88)/132. Are -25/2 and k nonequal?
True
Let v = 25 + 190. Do 217 and v have the same value?
False
Suppose 3*b - 6*b = -21. Let m(a) = a**3 - 4*a**2 + 4. Let j be m(4). Suppose -j = -4*i - 4*t, 4*i - 34 = 4*t - 2*t. Is b greater than i?
True
Let a be 3*-1 + 60/(-1 + 5). Which is greater: a or 11?
a
Let z = -7 - -10. Suppose -2 - 4 = -z*k. Let d = k - 1. Which is greater: d or 1/3?
d
Let n = -1882.06 + 1882. Let p = 6 - 6.1. Which is greater: p or n?
n
Suppose -11*n - 1438 = -1427. Which is greater: 15/67 or n?
15/67
Let h be (-6)/((-7)/2 - -2). Suppose 792 = -h*w + w. Let c be (-3)/(-7) + w/77. Is c greater than or equal to -4?
True
Let k = 9/10 + 23/10. Let b = 2 - -2. Which is smaller: k or b?
k
Let r = 7.3 - -38.7. Let v = r - 48. Which is bigger: 2/27 or v?
2/27
Let w(k) = 4*k**2 + 5*k**2 - 5 + k**3 - 7*k**2 - k - 2. Let l be w(-3). Let i = -12 - l. Which is smaller: i or 1/12?
1/12
Let j = 10952 + -10393447/949. Which is greater: 1 or j?
1
Let a(q) = 2*q + 14. Let o be a(20). Are 55 and o unequal?
True
Let o = 0.0311 - 83.0311. Which is smaller: -0.2 or o?
o
Suppose 2*v = -v + 12. Suppose -2*j = -v*j + 8. Let y = -4 + j. Is -1/10 less than y?
True
Let z = -48 - -60. Which is smaller: -6 or z?
-6
Let g be ((-1)/(-1))/(7 + -5). Let b = 7.05 + -3.05. Which is greater: g or b?
b
Let a be (-6)/1 - (-18)/(-2). Which is smaller: -96/7 or a?
a
Suppose -8*i - 434 = -82. Which is greater: i or -40?
-40
Let g = -59 + 67. Which is smaller: g or 12?
g
Let s = -38.2 - -56.2. Which is smaller: -0.1 or s?
-0.1
Let c be -313 + 46/7 + (-12)/21. Which is smaller: c or -309?
-309
Suppose -1129*a = -1136*a - 14. Let d be ((-3)/(-12))/(7/(-20)). Is d greater than a?
True
Let g = -36 - -50. Let h(v) = v**2. Let b be h(-2). Suppose b*f - g = -6. Is 1 >= f?
False
Suppose x - 135 = -5*u, -5*u = -u - 5*x - 137. Let j = 49 - u. Is j less than or equal to 21?
True
Let k be (1 - -1)/((-2)/(-3)). Let c be -1 - ((-48)/(-28) - k). Let t = -527/6 + 88. Is t >= c?
False
Let q = 17.7 + -15.7. Let h = 24 - -5. Is h < q?
False
Let c = 2.054 + -1.754. Let v be (2 + -1)*-2 - 1. Is v smaller than c?
True
Suppose -10*o = -13*o + 6. Suppose 0 = 2*u - q + 3*q + 2, -5*u + 30 = -o*q. Suppose -2*z = 4*f - 9*f - 27, z + f + u = 0. Is -1/5 equal to z?
False
Let x = 237 + -237.2. Let n be 2710/14 + 2 + -1. Let p = -194 + n. Which is smaller: x or p?
x
Suppose 0 = f - 4*t - 11, 0 = 2*t + 3*t + 10. Let m = -4 - -6. Suppose f*b + 47 = -3*z + 17, -m*b - 4 = -2*z. Are -6 and b equal?
True
Suppose 0*i - 100 = -5*i. Let c be ((-45)/i)/9*4. Which is bigger: c or 2/7?
2/7
Let h = -841 - -840. Which is smaller: 5/263 or h?
h
Let w = 0.092 + -16.842. Let z = -0.25 + w. Which is smaller: z or 0?
z
Let f = 2996/11 - 272. Let x(m) = -m**3 + 2*m**2 + 9*m - 4. Let q be (6/5)/(6/20). Let r be x(q). Is r at least f?
False
Let m = -1 - -1. Let h = 217 - 215. Suppose 0 = -m*d - h*d + 20. Which is bigger: 9 or d?
d
Let p = -79 - -78.67. Let x = 0.07 - p. Which is bigger: x or -3?
x
Let u be -2 - (268/(-64) + 2). Let n = 6 + -5. Let v = n + -2. Which is greater: u or v?
u
Let a(c) = -c**2 + 12. Suppose -3*k - 2*p + 10 = 0, 4 + 11 = 5*k + 5*p. Let g be a(k). Let m be (0 - -1)*(-6 - -1). Is g smaller than m?
False
Suppose -14 = 5*r - 3*w, 4*r + 2*w = 6*w - 8. Let t(b) = b - 6. Let a be t(7). Suppose 0 = x + 6 - a. Is x bigger than r?
False
Let t(a) = a + 4. Let u be (-34)/9 - 4/18. Let c be t(u). Let f be c/(-2) + 10/5. Which is greater: 13/6 or f?
13/6
Let w be (-10)/(-25) + 306/10. Let i = -773/25 + w. Which is smaller: 1 or i?
i
Suppose -4*m - 24 = -2*m. Let a be (-88)/m*(-6)/(-4). Let f = 12 - a. Which is greater: 3/5 or f?
f
Suppose -2 = -x + 1. Let w(u) = -3*u**3 - 13*u**2 - x + 2*u**3 - 2*u + 24*u**2. Let g be w(11). Which is greater: g or -24?
-24
Let h be (-4)/10 + 57/(-20). Suppose -23*z + 21*z - 8 = 0. Which is bigger: h or z?
h
Let q = 0.2 + -0.2. Let h be 15/(-18) + (-4 + 4)*-1. Does q = h?
False
Let t = -1201 + 1201. Which is greater: 361 or t?
361
Let u be 81/(-1*(-3)/(-2)). Is u >= -56?
True
Suppose -2 - 96 = -7*c. Suppose -3*b + i - 20 - c = 0, 4*b = -2*i - 32. Is b < -11?
False
Let a be (-4)/(-8)*4 + 13. Suppose m = 3*n - 17, 2*n + 5*m = 3*n - a. Suppose -n*q = -q + 4*b + 64, -5*b - 25 = 0. Are q and -10 non-equal?
True
Let w(o) = -o**3 + 2*o**2 - o. Let k be w(-3). Let c = k - 41. Is 6 at least c?
False
Let s be (1 - -3)*1 + (-3460)/910. Is s less than 1?
True
Let g be 36/(-10)*205/1066. Which is bigger: 4/15 or g?
4/15
Suppose 0 = -5*l - 5. Suppose 3*f = r + 12, -5 = 4*r + f + 4. Let j be r/24*2 - 27/(-44). Is j at least as big as l?
True
Suppose 2*l = 1565 - 321. Let y = l - 6835/11. Is y equal to 0?
False
Let x(s) = -7*s**2 + 131*s + 5. Let j be x(19). Which is bigger: -34 or j?
j
Let l = -78 - -52. Let f = -23 + -1. Let b = f - l. Is -6/7 smaller than b?
True
Let m(u) be the first derivative of -u**4/4 - 2*u**3/3 - u**2/2 + u + 12. Let d be m(-2). Let p(q) = -3*q + 10. Let h be p(d). Is h less than or equal to 1/19?
False
Let n be 14/(-6)*(-7 - -4). Let c be (-57)/21 + (-2)/n. Are c and -10/3 equal?
False
Let p = 107322/516593 - -2/46963. Let y = 2/77 - p. Let n be ((1 - 0)/2)/1. Which is smaller: y or n?
y
Let j be 28/7 - 2*-2. Suppose -2*g + 0*p = 5*p + j, 4*p = -2*g - 10. Does -9 = g?
True
Let y(v) = -3*v - 3. Let r be y(-3). Suppose 5*a + 25 = 2*q, 3*q - 5*a + 29 - 54 = 0. Is r >= q?
True
Let g(w) = -2*w - 8*w - 47*w**2 + 4 + 6 + 45*w**2. Let v be g(-8). Let t = -13 - v. Which is greater: -2/3 or t?
t
Let t(d) = d + 3. Let b be t(-7). Let g be -6*39/30 + b/20. Which is greater: g or 0.1?
0.1
Let n = 158 + -157.91. Is n > -21?
True
Let n = -36 + 40. Suppose -4*j + 219 + 149 = 0. Let b be 4/(-6)*n/j. Do b and 0 have different values?
True
Let x be (-2 + 2 + 0)/4. Let t = -4706/15 + 314. Which is smaller: t or x?
x
Let r = -84 - -32. Which is greater: -45 or r?
-45
Let w(z) = 26*z + 590. Let f be w(-33). Does -270 = f?
False
Let k = -12840117023/1793 - -7161248. Let j = k - -1/163. Is j equal to -1?
False
Let z = 22 + -26. Let b = 31 + z. Is -2/7 > b?
False
Let a = -21.9 - 7.1. Let r = a + 28.9. Let f = -26 - -26.07. Which is bigger: r or f?
f
Let d be 41/(-19) - (0 + -2). Let j = 2/133 + d. Let t(a) = -a**2 + 40*a + 42. Let g be t(41). Which is bigger: j or g?
g
Let y = -7 - -3. Let f be (115/(4 - -1))/1. Suppose 5*h - x + f = 0, 3*h - 4*x - 8 + 32 = 0. Does y = h?
True
Let x = 19.9 + -19.807. Is 1/4 at most as big as x?
False
Let a = 37 + -34. Suppose -a*m - n + 79 = 2*m, 2*m - n = 33. Let b(k) = k - 20. Let s be b(m). Is s less than -4?
False
Suppose 0 = -2*n - 24 - 16. Which is bigger: -21 or n?
n
Suppose -4 - 11 = -5*x. Suppose 0 = -2*w + 5*t - 17, 0 = w - 2*t + x + 3. Is 5 >= w?
True
Let s be 530/(-980)*13 - -7. Is 0 smaller than s?
False
Let o(y) = -147*y - 614. Let v be o(-4). Is -14 less than or equal to v?
False
Let h = -127.03 - -128. Let k = -0.23 - h. Let z = -0.8 + k. Which is greater: -1 or z?
-1
Let x = 2.58 - -0.42. Which is greater: 4 or x?
4
Let a(c) = c**2 + c - 4. Let t be a(-3). Suppose -t*m - 4 = -6. Suppose -h - 3 = 4*z - 3*z, -3*h = z + m. Which is smaller: 5/3 or h?
h
Suppose 0 = 2*m - o - 58, 8*m + 3*o = 3*m + 145. Let j = m + -77. Is -49 < j?
True
Suppose 225 = n - 2*c + 659, 3*n + 1322 = c. Is n >= -442?
True
Let l = 7 + -4. Let i(d) = d**2 - 2*d - 2. Let z be i(l). Let y = 62 + -60. Which is bigger: y or z?
y
Let o = -14 - -13. Let d be 8/(-28) + 42776/124187. Let u = d - 12/157. Which is bigger: o or u?
u
Suppose 6 = -8*d + 14*d. Suppose n - 2*n = -d. Are 5 and n equal?
False
Let v = -72/2935 - -98677/26415. Let w = -34/9 + v. Which is smaller: 1 or w?
w
Let t(d) = 2*d**3 + 26*d**2