gger: r or 1?
1
Suppose 62 = 4*p + 5*v, 0 = 72*p - 70*p + 3*v - 34. Suppose -2*h = -5*r - 43, -7 + 72 = 5*h - 4*r. Do p and h have the same value?
False
Let v = 240 + -240.5. Which is greater: -30 or v?
v
Suppose -7*f = -2*f - 15. Let h be (-28)/(3*(-2)/f). Let g be (7/(-4))/((-3)/24). Do g and h have the same value?
True
Let x = -25687/226820 - 2/5155. Are x and 0 nonequal?
True
Suppose 3*l - 60 = -2*l. Let g(f) = -f**3 - 34*f**2 - 92*f + 43. Let n be g(-31). Is l > n?
False
Let a be (-4)/(-22) + (-49632)/276969. Is 0 > a?
False
Let q be (-80)/20 + 1*3 + -15. Which is bigger: -20 or q?
q
Let d(c) = -228*c + 1 + 228*c - c**3 - 3. Let z be d(-2). Which is greater: z or 0?
z
Let d = -23.7 + -7.2. Let l = d - -31. Which is smaller: -0.064 or l?
-0.064
Let s be -3 - -6 - 1 - -1. Suppose -2*i - s = p, -6*p + p + i = 70. Which is bigger: p or -14?
p
Suppose -3*v - 50 = 25. Let y(u) = 15*u. Let r be y(1). Let o = r + v. Which is greater: -8 or o?
-8
Suppose 0 = 4*i - 26 + 2. Let f = -5 + i. Let x be f - (-7)/((-14)/(-8)). Is x at most 5?
True
Suppose -739*n + 15 = -724*n. Which is smaller: -3/98 or n?
-3/98
Let b = -0.1 + 0.3. Let a(s) = s**2 + s. Let l(m) = 2*m**2 - 4*m + 3. Let j(q) = -a(q) + l(q). Let o be j(3). Is o bigger than b?
False
Let k = 7 + -12. Suppose 18*s + 4 = 40. Suppose 0 + 16 = -a - s*d, -3*a - 2*d - 28 = 0. Which is bigger: k or a?
k
Let d = -222/107 + 27124/13589. Which is greater: -1 or d?
d
Let y(r) = -54*r - 16. Let x be y(-4). Which is smaller: 199 or x?
199
Suppose 10 = 7*w + 3. Suppose q - w = -5*f - 6, q = -4*f - 5. Let x be (2 + -13)/(1*3). Which is greater: q or x?
x
Let l be 4 + -10 + 3 + (-687)/39. Is -21 not equal to l?
True
Let f(m) = 4*m**3 + 23*m**2 + 4*m + 14. Let r(w) = 3*w**3 + 23*w**2 + 3*w + 13. Let p(x) = 4*f(x) - 5*r(x). Let j be p(23). Is 15 bigger than j?
True
Suppose 118*p - 82*p - 36 = 0. Do -1/3032 and p have the same value?
False
Suppose -38 = -10*p + 252. Let i = 0.5 + -3.5. Which is smaller: i or p?
i
Let x(n) = -n - 3*n - 1 + 3*n + 0*n. Let f be x(9). Let s = f - -9. Which is bigger: -1/9 or s?
-1/9
Suppose 0*i - 5*i = 45. Suppose n - 11 = -o, -2*o + 4*n = -0*o - 4. Let v(x) = -x**3 + 9*x**2 - 11*x + 14. Let m be v(o). Is i at least m?
True
Let q be ((-228)/(-24) + -9)/((-2)/(-36)). Which is smaller: q or 3?
3
Let s(f) = -3*f**3 + 46*f**2 - 38*f + 343. Let k be s(15). Let x be 2/5 - (-32)/20. Let h = 2 - x. Which is greater: k or h?
h
Let r be (10/(-20))/((-3)/(-3 + -27)). Which is smaller: r or -25?
-25
Let p(b) = -181*b - 530. Let v be p(-3). Which is greater: 40/3 or v?
40/3
Let o be 0 - (330/(-19))/(-5). Let t = 491/114 + o. Is 0 bigger than t?
False
Let w be 6/15*165/(-24). Let k(o) = o**3 - 10*o**2 - 10*o - 14. Let x be (3/(-9))/(-1)*33. Let b be k(x). Which is bigger: b or w?
w
Let d = 9 - 7. Suppose -o + d*j = 3 - 1, 5*o + 2*j - 2 = 0. Suppose o*i = -2*i - 2. Is -1 at most i?
True
Let a(y) = 3*y - 1. Let c be a(-1). Let k = c + 3. Let s = 3639/4 + -910. Is s bigger than k?
True
Let d be (-2)/(-7) - (1355/(-35) + 1). Is d != 38?
False
Let q(l) = l**3 + 6*l**2 + 5*l - 1. Let y be q(-5). Let t = -43 - -48. Suppose c + 5*p = 1, -t*p - 2 - 3 = -5*c. Which is smaller: c or y?
y
Let l(c) = 14*c. Let f be l(8). Let d = f + -331/3. Which is bigger: d or 2?
2
Suppose -2*p - 3*p = 1180. Let d = -4957/21 - p. Let g = 1 + -2. Is d >= g?
True
Let j be 7/42 + 0 - 1714/(-12). Is 143 >= j?
True
Let n(i) = 31*i - 738. Let m be n(-19). Do -1326 and m have the same value?
False
Let l(v) = -20*v + 259. Let x be l(23). Is -202 >= x?
False
Let f = 2.6 - 3.1. Let x = f + 0.6. Let a(j) = j**2 - 4*j + 1. Let l be a(4). Is x at most as big as l?
True
Let m = 4 + -12. Let z(o) = -2*o**2 - 15*o + 7. Let g be z(m). Is 10 less than g?
False
Suppose 1 + 19 = 4*y. Let r = -6 + y. Let g = -1/304 + -907/1520. Which is smaller: r or g?
r
Let u be 0*-3*1/12. Suppose u = 3*p - b + 22, 0*b = 5*p - b + 40. Is -9 smaller than p?
False
Let f = 1263/17893 - 1/617. Suppose -3*y = -y - y. Suppose -4*p + 23 = 3*q - 0*q, y = -2*q - 4*p + 22. Which is greater: q or f?
q
Let j(w) = w**3 + 4*w**2 - w - 4. Let l be j(-4). Suppose 3*g + l*g - p - 16 = 0, -4*g = 5*p + 4. Let a be 8*(0 + 1/2). Is g less than a?
False
Let u = 18.078 - 18. Let l = u + -0.058. Are l and 0.5 nonequal?
True
Let p = -1188 + 955. Which is smaller: p or 2?
p
Let v = 0.181 + 13.819. Is 1 >= v?
False
Let s = 86.9 - 96. Let h = s - -11. Let g = 2.9 - h. Is -2 >= g?
False
Let t be 123/(-18)*2 - -2. Which is bigger: -13 or t?
t
Let w = 0.03016 + 21.05984. Let i = w + -21. Let n = -0.01 - i. Is n greater than -5?
True
Let q = 62 + 229. Is q bigger than 0?
True
Suppose 3*g = 0, -h - 3 = 3*g - 1. Let w = 2612037 - 1658643871/635. Let c = -1/127 + w. Which is bigger: h or c?
c
Let x = 1774 - 1794.424. Let d = x + 0.024. Let u = 20 + d. Do 2/9 and u have different values?
True
Let i(z) = -2*z**2 + 14*z - 10. Let j be i(6). Let r be 3*1/(-3)*j/(-12). Is -0.2 greater than or equal to r?
False
Suppose 1 = 5*j - 4. Let p = 6 - 17/3. Is j < p?
False
Let f be (-2)/(-3)*9/630. Which is smaller: 0 or f?
0
Let v = -86 + 151. Let s = v - 152. Which is smaller: s or -86?
s
Let i = -5 - -8. Suppose i*p - 2 = 13. Suppose 2*u - 5*q + 17 = -u, -4*u - p*q + 24 = 0. Which is bigger: u or 5/4?
5/4
Let i = -6 + 2. Let k be (-10)/(-9) - 0*i/(-20). Let l be 0/((-2)/(2*1)). Which is smaller: l or k?
l
Let v be 561/(-1106) - (4 - 63/14). Is v at least -1?
True
Let k be -6*14/(-12)*4. Suppose 26*t = 30*t + k. Let g(h) = -8*h**2. Let w be g(1). Which is greater: t or w?
t
Let l = 17.98 + -18. Let d = l - -0.12. Which is bigger: -1.1 or d?
d
Suppose t - 5 = 0, 2*y = -5*t + 13 + 14. Which is greater: y or 17/15?
17/15
Let z = 12 - 8. Suppose -z*g = -g + 12. Is -3 at least as big as g?
True
Let o be (-15168)/84 + 3/(-7). Let t = 84 + o. Which is smaller: -96 or t?
t
Let x(f) = -4*f - 17. Let o be x(-5). Suppose -t - 1 = 5*l, -l + 8 = 3*t - o. Which is greater: l or 1?
1
Let g be (-4 + 1)*(-325)/(-15). Which is smaller: g or -80?
-80
Let t be -2 + (-78)/(-30) + (-358)/5. Which is smaller: -494/7 or t?
t
Let b = 3190 - 3194. Let v be ((-4)/(1 + -3))/(-3). Which is smaller: v or b?
b
Let b = 1129 - 1129. Which is greater: b or -5/6?
b
Suppose 8 + 32 = 5*w. Suppose -w + 2 = o. Let x be (-2)/3 - (-116)/o. Is -19 at least as big as x?
True
Let p(k) = k**2 + 1. Let g be p(3). Let c be -1 - 52/(-6) - -5*27/45. Is g > c?
False
Let d be (1/2)/(4/(-32)) + -2. Let h(p) be the second derivative of p**3/6 + p**2/2 + p. Let o be h(-6). Which is smaller: d or o?
d
Suppose 2*o = 4*z + 962, -32*z + 33*z = 5*o - 263. Do z and -234 have different values?
True
Suppose 0 = 2*d + 3*d + 4*a + 265, 0 = -2*a - 10. Let j be (6 - 95/10)*60/d. Which is smaller: 3 or j?
3
Let a(r) be the first derivative of -r**4/4 + 11*r**3/3 - 9*r**2/2 - 7*r + 5. Let m be a(10). Which is smaller: 8 or m?
m
Let o = 0.014 - 0.114. Let r = -0.1 + -4.9. Let h = 5.09 + r. Which is bigger: o or h?
h
Let t = -50 + 51. Let c be (7 - 8)*((-14)/(-2) - t). Which is smaller: c or -3?
c
Let i = -0.229 + -98.771. Let c = i - -98.81. Which is greater: c or -0.1?
-0.1
Suppose -a = 4*z - 66, -3*z + 6*z - a = 46. Is 11 at least z?
False
Let d be -5*(-22)/35*-7. Which is bigger: -1/3 or d?
-1/3
Let b be (3/3)/(-2) + 250/20. Suppose b*l - 13 = 23. Which is smaller: l or -0.03?
-0.03
Suppose 0 = -5*a - 2*q + 34, -4*a + 0*q + 26 = 2*q. Suppose -11 - 1 = -4*l, -2*l = -2*b - a. Let m = 57 + -400/7. Which is smaller: b or m?
b
Suppose 23 = 8*x + 7. Suppose 2*k - 3*k + 15 = 4*g, -14 = -3*g + 2*k. Suppose g*w + 3 = 3*z + x*w, -4*z = 5*w - 4. Is 1 < z?
False
Let n = 9 + -4. Let i be (-4)/2*3 - -10. Let y be i/(-16)*-2 - (-12)/(-8). Which is smaller: n or y?
y
Let s be -1*(4/(-9))/(42/(-27)). Is s less than -0.33?
False
Let k = 0.473 - -9.527. Is k > -5?
True
Let h = 1.1 - 0.8. Let y = h + -1.3. Let k(i) = -i**2 - 46*i - 501. Let v be k(-18). Are v and y nonequal?
True
Let q = -2183/380 - -11/76. Is -0.17 at most as big as q?
False
Let a(z) = z**2 - z - 69. Let p be a(-8). Is 103 greater than or equal to p?
True
Suppose 3*f - 3 = 3*p, -11 - 9 = -4*p - 2*f. Let k be p/4 - 27/4. Let u = -4 + 0. Is u bigger than k?
True
Let p = 261 - 266. Which is smaller: p or -1?
p
Suppose -