3/52)/(315/72 - 4). Do r and p have different values?
True
Let f be 1 + 10 + 34793/(-240394)*76. Are f and 0.1 equal?
False
Suppose 3*h - 252 + 264 = 5*t, 8 = -2*t - 2*h. Which is bigger: 5/88 or t?
5/88
Suppose 23*r - 10*r = 52. Suppose r*f + 354 = -5*n, -2*f = -16*n + 19*n + 176. Is -93 >= f?
False
Suppose 6*r + 19 = 12*r + 13*r. Which is smaller: r or 66?
r
Let y = 4602 - 4608. Do y and -89 have different values?
True
Let y be 2/13 - 32746/(-91). Let l = y + -577. Which is greater: l or -216?
-216
Let y be (-1 - -1)*(24 - 852/36). Is y less than or equal to -19/433?
False
Suppose 7*j = 1140 + 22. Let z = -2 - j. Let t be (574/z)/((-2)/8). Which is greater: 14 or t?
14
Let g be (10/25)/((-17)/510). Is -7 less than or equal to g?
False
Let d be (1 - (-5)/(-2))*152/57. Let m be 4 + -2 + -2 + d/4. Which is smaller: -3/64 or m?
m
Let o = -0.21 + -3.79. Let x = -66 - -66.061. Let t = x - 0.121. Which is smaller: t or o?
o
Let z = 9531 + -123732/13. Is 14 at most z?
False
Suppose -4*t = 22 - 6. Let o = -30 - -33. Suppose 0 = -l - 13 + o. Is l at least t?
False
Suppose -w = -10*w + 7326. Suppose 8*m - 1154 = w. Suppose m = -10*g - 204. Which is bigger: g or -44?
-44
Let d = 2354850/113 - 20840. Is -1 greater than or equal to d?
False
Let h = -75 - -57. Let g be -2 + (h + 18)*(-1)/(-2). Let v(j) = j + 6. Let x be v(-7). Which is bigger: g or x?
x
Let s(l) = 4*l**2 + 2*l + 1. Let v be s(-3). Let c = 35 - v. Suppose 5*b = -o + c + 1, -2*b + 4*o - 20 = 0. Is b > -6/19?
True
Let c = 1660 + -1900. Is -238 at most c?
False
Let q be 2/7 + 3098/(-14). Let x = q - -220. Suppose 4*f + 0 = 8. Is f at most x?
False
Let o(h) = h**2 - 9*h - 10. Let l be o(16). Suppose -l = -x + 3*i, 5*x - 3*i - 378 = 96. Let q be 4434/48 - 126/336. Is x bigger than q?
True
Let o = 5 - 4. Suppose -o = -5*z + 4. Suppose -26*t - 10*t + 864 = -4*t. Is z != t?
True
Let b be (-9 + 12)/((-1)/(-220)). Let h be -2*335/b - (-4)/22. Let s be (0 + 0/1)/(-2). Which is smaller: s or h?
h
Let s be ((-19140)/(-2842))/((-2)/14). Which is bigger: -46 or s?
-46
Suppose 0 = -5*h + 3*w + 24, 12 = 2*h - 2*w - 0*w. Let l(j) = -2*j**2 + 15*j - 26. Let a be l(h). Which is smaller: -5/69 or a?
-5/69
Let m be 128/168*1/(8/6). Let q = -941 - -10347/11. Is m less than q?
False
Let d be ((-3018)/378 - -8)*(253 - 3) + -4. Is 0 greater than d?
True
Let a be -2*(2/(-8))/((-32955)/60). Which is smaller: a or -1?
-1
Suppose -4*b - 2*t + 2 = -22, 0 = -b + 5*t - 16. Suppose 2 - 8 = 2*a, -20 = 4*k + 4*a. Let q be k*b*18/(-456). Is 0 greater than or equal to q?
False
Let i(f) = -7*f**2 - 9*f - 20. Let c be i(-5). Let h be (15/c)/((-4)/(-85)). Let d = 12 - 13. Which is greater: d or h?
d
Let w be (6/(-416))/((-28797)/(-1324)). Which is smaller: -1 or w?
-1
Let v be (-6 - -2015)*1 - 6*12/(-18). Is 2013 less than or equal to v?
True
Suppose -58080 = -43*k + 13*k - 322*k. Suppose 4*z = -20, -41 + 384 = 2*w - 3*z. Which is greater: w or k?
k
Let s = 5444816 - 925613809/170. Let q = -144/5 + s. Which is smaller: 1 or q?
q
Let y(t) = 5*t**2 - 68*t + 44. Let u be y(15). Suppose 8*n + 397 = u. Is n at least as big as -31?
True
Let u be (-80)/(-3) + (-1 - 1/(-3)). Suppose -u*j + 11 = v - 23*j, -2*j = 5*v - 3. Which is smaller: v or 4/267?
v
Let p(r) = -3*r**2 + 24*r - 56. Let m(a) = a**2 - 3*a - 1. Let l(q) = -4*m(q) - p(q). Let c be l(5). Is 6 != c?
True
Let l be 5/(100/(-324)) + 3. Suppose 10*h = 9*h - 14. Which is greater: h or l?
l
Let u = 17303/10 - 3461/2. Let x = -3.25 - -7.26. Let j = -0.01 + x. Which is greater: j or u?
j
Let i(x) be the first derivative of 104/3*x**3 + 0*x**2 - 2*x + 7. Let b be i(1). Which is smaller: b or 103?
b
Let a = 4302 - 4681. Which is smaller: a or 5?
a
Let p = 81636400/2401 + -34001. Is p less than or equal to -1?
False
Let o = 4716 + -136815/29. Which is smaller: -2 or o?
-2
Let w be ((-8)/(-20))/(3/(-15)) - -226. Let c be 24/(-28)*w/(-624). Which is smaller: c or 2/7?
2/7
Let a = 0.9604 + -0.8604. Which is bigger: -14.747 or a?
a
Let a(j) = -j**2 - 4*j - 7. Let v be a(-3). Let o be (v/2 - 110)/((-333)/(-37)). Do -13 and o have the same value?
False
Let b = -15047.03 - -15105. Is 0 less than or equal to b?
True
Let v(l) = l**3 + 5*l**2 - 12*l - 60. Let u be v(-5). Is u smaller than -15/262?
False
Let u = -1.839 - 3332.161. Is u > -1?
False
Let z = 81 - 76. Suppose -z*c - 4 = 5*x + 6, 0 = -x - 4. Let r = -13/6 + 11/6. Do r and c have the same value?
False
Let j = 25617/81547165 + -2/11827. Is j equal to 0?
False
Suppose -4*c + 3*t = -24625, 5*c - 3*t = 4*c + 6154. Suppose -28*d - c = 19*d. Is d smaller than -133?
False
Let v(u) = -2*u**3 - 41*u**2 + 24*u + 63. Let a be v(-21). Let f(p) = -19*p - 2. Let b be f(-2). Let n be 2/(b/10) + 0. Which is bigger: n or a?
n
Suppose 5*k = -3*x + 45, -5*k + 33 = 3*x - 4*k. Suppose -5*o + 6 = -5*g - o, -g = 2*o - x. Suppose b + g = 3. Is b greater than 5/12?
True
Let k = 65233/2232 - 1/248. Let l be (-88)/3 + 7/21. Let g = k + l. Which is bigger: 3.5 or g?
3.5
Suppose 5 = -a + b + 3, -15 = -3*b. Suppose 0 = 2*l + 4*w - 8, 2*w + 2 = a*l + 3*w. Which is greater: -2/45 or l?
l
Let u be (4/6)/(((-184)/176364)/((-2)/18)). Is 99 smaller than u?
False
Let t be ((-189)/6 - -29)/((-10)/24). Which is greater: 47 or t?
47
Let q be 12/1 - (-28 - 728). Which is smaller: q or 1/2?
1/2
Let t = -169.62 - -1.62. Let q = -168.1 - t. Which is greater: 336 or q?
336
Suppose -26*u + 30*u = -48. Let i(x) = x**3 + 3*x**2 - 3*x + 4. Let p be i(-3). Let o = p + -25. Is u >= o?
True
Let u be -3*865/15 - 5. Let x = 178 + u. Is 4/5 greater than or equal to x?
True
Let q(w) = -18*w**2 + 21*w - 68. Let z be q(0). Is -67 at least z?
True
Let q(l) = -4*l**3 + l**2 - 2*l. Let y(c) = -c**3 - c + 1. Let x(h) = -q(h) + y(h). Let g be x(-1). Let w = -3/3407 + -129439/30663. Is g < w?
False
Suppose 5*l - 22*d + 8988 = -19*d, 4*d - 1801 = l. Is l equal to -1797?
True
Let w be -16*66/(-1408)*2/12. Does w = -0.007?
False
Let l = 2.95 - 3. Let i be (2/6 + 1)*(-15)/(-10). Suppose 7*a + i*a = -27. Which is bigger: l or a?
l
Let q = 12943 + -12876. Is 110 >= q?
True
Let w be (0 - 4/20) + -2*(-274970)/(-300). Is w equal to -1834?
False
Let x be 2*(-95)/114 + 5/(-3). Suppose 0 = 6*o - 4*o - 18. Suppose 0 = h - 4*h - o. Which is greater: x or h?
h
Let z(d) = -4*d**3 - 2*d**2 - 5*d - 3. Let f be z(-2). Let a = 31 - f. Let x be 125/120 + -1 + 0. Is a <= x?
True
Let n(x) = x**2 + 9*x + 21. Suppose 0*l + 5*l + 35 = -5*m, 0 = 4*l. Let f be n(m). Suppose -19 + f = 3*p. Is p at least -14?
True
Let u(r) = r**3 - 12*r**2 - 12*r - 2. Let y = -34 - -47. Let a be u(y). Let d be (-16)/88 - 141/a. Which is smaller: -40/3 or d?
-40/3
Suppose -5*x = -5*n - 10, -130*x - 4 = n - 129*x. Which is smaller: n or 1.61?
n
Let a = 1.7 - -0.4. Let l = -2.22 + a. Suppose 4*d - 7 = -5*t + d, -4*t = 3*d - 8. Which is greater: l or t?
l
Let r be (-240 + 1)/(7*66/126). Does r = -0.1?
False
Suppose -2*c = -l + 271, -3*c + 2*l - 558 = -149. Which is bigger: c or -130?
-130
Let i(s) = -s + 9*s**2 + 1 - 15*s**2 + s**2 + 2*s**2. Let h be i(-4). Let q = h + 36. Which is smaller: -4 or q?
q
Let i be ((-2)/3)/(2/21). Let c = 10 + i. Let l be (300/(-64))/(11 - (-200)/(-16)). Is c < l?
True
Suppose -30 = 20*z + 50. Let g be ((-27)/z)/(111/148). Which is smaller: 4/5 or g?
4/5
Let d(a) = 2*a - 15. Let j be d(11). Let o(b) = -b**2 + 14*b + 16. Let h be o(j). Which is bigger: h or 64?
h
Let g(z) = -z**2 - 123*z - 3860. Let h be g(-67). Is h != -39?
True
Let v = -0.08 - -17.08. Let c(j) = -5*j + 37. Let f be c(9). Let u(h) = -h**2 - 10*h - 17. Let d be u(f). Is d not equal to v?
True
Suppose -1024 = 19*r - 1955. Suppose 133 = 3*d + 4. Is d > r?
False
Let v be 2/(-13) - (-1600)/260. Let f be 14/(-70) - (-32)/10. Do v and f have different values?
True
Let h be ((-186)/(-1547) + (-2)/13)*1330/(-5700). Which is bigger: 113 or h?
113
Suppose -23*c - 15 = -38. Let x be ((-4)/6)/(((-6)/(-9))/c). Suppose -3*t - 180 = -7*t. Is t at most x?
False
Suppose 4*c + 2*l + 6 = 0, 2 = 5*c - 2*l - 4. Are c and -3/3289 equal?
False
Suppose 3*j = 5*z - 86, -4*j + z + 40 = -6*j. Which is bigger: j or -31?
j
Let u = -17768.42 - -17767. Which is smaller: 3/7 or u?
u
Suppose 3*s + 270 = 1287. Suppose -s = -0*h + 3*h. Let n(t) = t**2 - 44*t + 308. Let v be n(14). Whi