z or r?
z
Suppose -246 = 8*i + 3090. Which is smaller: -418 or i?
-418
Suppose 0 = -3*n + 2*i + 2*i - 40, 4*n - 2*i + 40 = 0. Let d = n - -1. Is d smaller than 1?
True
Let w = -11 - -15. Suppose 0*p + 4 = w*p. Suppose 3*v + 3*f - 6*f - 6 = 0, -4*v - 3*f = 27. Is p less than or equal to v?
False
Let f = 163.08 - 0.08. Let h = 164.5 - f. Is h at most as big as -3?
False
Let s(o) = -5*o + 172. Let y be s(-7). Is 206 > y?
False
Let k = -15 - -15. Which is smaller: k or -3/307?
-3/307
Suppose -16 = -3*v + 20. Suppose v*l - 6*l = -72. Is -9 at most l?
False
Let s(u) = 7*u - 122. Let t be s(5). Which is smaller: t or -88?
-88
Let m(v) = -3*v**2 + 13*v + 72. Let y be m(10). Which is greater: 5 or y?
5
Let t be 55/44*(3 + -1 + -20). Is -23 at most t?
True
Let y = -2357 + 2356.84. Let n = 0 + 1. Which is smaller: y or n?
y
Suppose 168*k + 264 = 179*k. Which is smaller: 26 or k?
k
Let s = -343 - -342.9. Which is smaller: s or -10/41?
-10/41
Suppose 0 = 2*p - 4*i + 4 - 8, 3*i + 6 = 0. Which is bigger: -76/43 or p?
-76/43
Suppose -11*d = -1172 + 171. Let w = 97 - d. Is 19/4 at least w?
False
Let o be 34/(-712) - 56/(-224). Which is bigger: o or 1?
1
Let f be 4/(-66)*-555596*(-4)/96. Let q = 1403 + f. Which is greater: q or -1?
q
Suppose 481*z = 483*z - 360. Is 181 less than z?
False
Let p be -1 - (-1)/(39/45). Let u(r) = 5*r + 59. Let o be u(-12). Which is bigger: o or p?
p
Let l be 1/(-2)*(-30)/6995. Let b = l + 2549/116117. Is -1 at most as big as b?
True
Let y be (-5 - 98/21)/(1/3). Is y greater than or equal to -31?
True
Let x(f) = 27*f**3 + 3*f**2 + 2*f + 1. Let r be x(-1). Which is smaller: -21 or r?
r
Let m = -303 - -308.3. Which is smaller: -3 or m?
-3
Suppose -11*u + 29*u = 1242. Do u and 71 have different values?
True
Suppose 0 = -2*i + 3 + 1. Suppose -i*n = -27 + 5. Let s be ((-5)/(-15))/(n/3). Which is smaller: s or 0?
0
Let z(h) = -h**2 + 6*h + 8. Let s(d) = d**2 - 7*d + 9*d + 2 - 7*d. Let u be s(6). Let q be z(u). Does -7 = q?
False
Let w = -4 + 3. Let i be (-4)/12 - 26/(-6). Suppose -5*q - 2 = 2*z, -29 = -i*z + 3*q - 7. Which is smaller: z or w?
w
Let c = -1798 + 1294. Is -504 >= c?
True
Let m be (11/(693/(-2070)))/1. Is -0.2 < m?
False
Let n(x) = -3*x - 13. Let y be n(-4). Which is smaller: y or 8/27?
y
Let p be (-1)/(-11 + (-6656)/(-39)). Which is smaller: 0 or p?
p
Suppose 5*n + 9 = 39. Suppose n*t - 2*t + 76 = 0. Let b = 24 + t. Which is bigger: 7 or b?
7
Let q be 4/489*((-150)/(-12) + -11). Which is smaller: q or 2/5?
q
Suppose 0 = 2*a, -4*a + 5 = 3*j - 13. Suppose 2*y - 4 - j = 3*f, -4*f + 8 = 0. Let h(p) = p**2. Let s be h(-3). Are s and y non-equal?
True
Let k(j) = -4*j**2 + 10*j + 61. Let g be k(9). Does -173 = g?
True
Let z be 55 - (0 + (-1 - -4)). Let v = z + -25. Is 28 at most as big as v?
False
Let y(z) be the first derivative of z**4/4 - z**2/2 + z + 1. Let a be y(0). Let b = 969/1106 + -3/158. Is b greater than or equal to a?
False
Suppose -4*r + 72 = -2*s, -2*s - 3*r = -0*s + 79. Let i = s + 23. Let y = 19 + i. Does y = 4?
True
Let s = -13 - -12. Is -13/18 smaller than s?
False
Let d be 168/(-441)*6/(-248). Let c = d - -205/1302. Suppose 4*v = v. Which is smaller: c or v?
v
Let t = 12465 - 111820/9. Let j = t + -40. Which is bigger: j or 0?
j
Suppose -4*j + 0 = 3*m - 9, -2*j = 0. Which is bigger: m or 4?
4
Let l = -7 + 4. Let c = -1322/3 - -438. Is c equal to l?
False
Let t = 35.005 - 35. Let h = t + -0.011. Which is greater: -1 or h?
h
Let z = 9/352 - 731/1056. Is z greater than or equal to -4?
True
Let b be (0 - 2)/((-20)/12 + 1). Let g(f) = f - 2 + f**3 - 2 - 2*f**2 + f. Let i be g(b). Which is smaller: 12 or i?
i
Let h be (-6)/15 - 832/20. Let d be (-5)/((-5)/(-38)) + (-12)/4. Is h < d?
True
Let w be -1 - -2*1 - (-7 - -2). Let r be ((-1)/1)/((3 - 10) + w). Which is bigger: 12/13 or r?
r
Let i be (3 - 38/12)*-1256. Which is smaller: i or 210?
i
Suppose 0 = 3*g - 3*u - 6, 5*g = -u + 4*u + 4. Let x = 3 + g. Let a be ((-4)/(-2))/(0 - -3). Is x >= a?
True
Suppose -3*l = 3*v + 2*v + 983, 0 = -5*l + 5*v - 1665. Let p = l - -1991/6. Let s be 0*(-2)/(1*-2). Which is smaller: s or p?
s
Let w = 284 - 268. Suppose -5*l + 4*l = -15. Which is smaller: l or w?
l
Let v be (-1)/(-7) - (-11880)/(-8190). Is v < -1?
True
Let w = 353/2 + -182. Let q = -15 + 23. Suppose -k = q - 2. Which is greater: k or w?
w
Let r(p) = -4*p + 12. Let b be r(3). Do b and -4/7 have different values?
True
Let s be 15/(-40) - 37/8. Let u be (-2)/5*(s + (-620)/(-123)). Do u and 0 have the same value?
False
Suppose 29*w - 419 = -42. Is w not equal to 4?
True
Let p(u) = 18*u - 25. Let q(j) = j. Let s(b) = p(b) - 4*q(b). Let t be s(3). Do 20 and t have the same value?
False
Let g be 61 + 1/(2 + (-1)/1). Let o = g - 60. Which is smaller: 20/11 or o?
20/11
Suppose -20 = 4*f, -7*f + 4*f = r + 96. Which is greater: -2/3 or r?
-2/3
Let q = 82 + -80. Suppose 3*r = -2*j - 4 - 7, -4*r = -q*j + 10. Is j >= -2?
True
Let v be ((-1)/((-90)/(-325)))/((-3)/6). Is 8 != v?
True
Let j be -6*5/4614*1/5. Which is greater: j or 0.1?
0.1
Suppose 0 = p - 8 - 9. Suppose 0 = 2*i + p - 7. Suppose 0*u - 9 = 3*u. Which is smaller: u or i?
i
Suppose 0*c = -c - 5*b + 3, 5*c + 54 = -2*b. Which is bigger: c or 0.7?
0.7
Suppose 83*y + 26 = 85*y. Let d be (0 - 41)/(y + -12). Which is greater: -42 or d?
d
Let n be (20/(-12))/((-6)/(-52)). Let f = 653/45 + n. Let u = f + 31/210. Do u and -1 have different values?
True
Suppose -6 = x + 4. Let q be 351/(-65) + 6/x. Which is greater: 0.2 or q?
0.2
Let k = 216 + -215.9. Is k greater than or equal to -5/13?
True
Let o = 357 - 364. Suppose -4*v + 43 = -3*r, 2*v = -r + 4*r + 35. Is r bigger than o?
False
Suppose 5*t - 6 = 3*t. Suppose 1 = -z + t. Suppose 2*v = 7*v - 5. Is v > z?
False
Let u be ((-176)/3850*-7)/((-52)/(-2)). Do u and 0 have different values?
True
Let b = -155/546 + -1/42. Is b bigger than 0.02?
False
Suppose 5*x - 2*m - 3*m = 35, -2*x + 3*m + 13 = 0. Let z(g) = 2*g - 14. Let k be z(x). Let r be ((-2)/4)/((-2)/4). Which is smaller: k or r?
r
Let r = 8 - 6. Let m be 0/(4 - r) - 0. Let f = 0.206 + -15.206. Is m at least as big as f?
True
Let m(x) = 3*x - 6. Let w(c) = -2*c + 5. Let r(k) = -3*m(k) - 4*w(k). Let y be r(-3). Let g be (-12)/(-810)*(-9)/(-6)*-2. Is y bigger than g?
True
Suppose 28*g - 16*g = 60. Is g at least 74/13?
False
Let g be (672/(-304))/(-1 - -4 - -1). Let q be (-2)/3 + 70/114. Let l = g - q. Which is greater: -1/4 or l?
-1/4
Let d = 46 - 111. Let y = d + 39. Let q be (y/14 - 2) + 3. Which is smaller: q or 0?
q
Let v be (1/(-3))/((-8)/21). Let j = -10 - -12. Which is greater: v or j?
j
Let h be ((-3)/(-1))/(1 + 65/(-20)). Let d be (-6)/84*-4*1. Are h and d equal?
False
Let w = 416 - 50337/121. Is w equal to 1?
False
Let k = -15 - -18. Suppose -o = -k*a + 2*o, 0 = -2*o. Suppose 0 = -2*c - a*c. Is c <= 1?
True
Let j(g) = -g**3 + 3*g**2 + 11*g - 17. Let o be j(6). Is -59 < o?
False
Let m = -0.049 - -17.549. Let v = -14 + m. Let r = v - -1.5. Are 0.2 and r equal?
False
Let k be 4026/(-806) - (-11)/(-22)*-10. Is k greater than or equal to 1?
False
Suppose r - k + 829 = 0, 3*r - 20*k + 2483 = -16*k. Which is smaller: r or -834?
-834
Let v = -2516 - -2515. Let h = -526/301 + -60/43. Let g = 97/42 + h. Does v = g?
False
Let y(t) = t - 1. Let w be y(4). Let j be (-5)/(-205)*-125 + w. Is j bigger than 1?
False
Let d = 38.2 - 19.2. Is d smaller than -0.2?
False
Let r = -9.4 + 10. Let w = 0.4 - r. Is 15 less than or equal to w?
False
Suppose 5*s + 949 = -3*j - 0*j, 0 = 3*j - 4*s + 985. Which is bigger: j or -0.1?
-0.1
Let w = 0.549 + -0.049. Is 2/11 at least as big as w?
False
Let j = 1235702/7 - 176187. Let d = j + -341. Let n = -0.002 - -3.002. Is n <= d?
False
Let i be (-3)/(-9 + -3) - (-39)/4. Suppose -2*v - 3 = 5*b + 2, 0 = -5*b - v - i. Let m = -8 + 4. Is b at most as big as m?
False
Let j = 10 + -5. Suppose 5*z = -4*x + 36, 0 = -2*z + 3*x + 1 - j. Suppose 4*m - 3*b = 13, -5*b - z = 5*m + 6. Which is greater: 3/7 or m?
m
Let o be -1 + (-21807)/21465 + 2/9. Let u = 1/159 - o. Which is bigger: u or 2?
2
Let t be ((-88)/12 - -2)*3. Let r = -54 - -96. Let u be (r/3)/(4 - 5). Which is greater: t or u?
u
Let i = 1124/7 - 52891/329. Let r = i - -258/611. Which is bigger: r or 1?
1
Let x = 0.21 + -1.81. Let m = x - -1.9. Do m and 1/2 h