- s. Suppose 25*p = 24*p - 5*n - 26, 4*n + 20 = 0. Is l equal to p?
False
Let b be 0*((-3)/(-1) + -4). Let h be (45/(-6))/(((-3)/(-16))/1). Let m be (-2)/(-1) - (-70)/h. Is m != b?
True
Let t(q) = 50*q**2 + 1400*q - 54. Let n be t(-27). Which is bigger: -1399 or n?
-1399
Let b = 17208 + -15723. Is 1482 smaller than b?
True
Let n = 15 - 8. Suppose 0 = -n*c + 5*c - 14. Let y(o) = -o**3 - 7*o**2 - o - 8. Let h be y(c). Is h at least as big as 4/11?
False
Let u = -1264 + 685. Let s = u - -579.178. Is 1 > s?
True
Let y = -180 + 187. Let a(d) = -d**3 + 5*d**2 + 16*d - 14. Let p be a(y). Which is smaller: p or 1/255?
p
Let w = -28.22 + -1.28. Let u = w + 29.6. Which is smaller: 103 or u?
u
Let v(g) = 3*g + g + 2*g + 5*g**3 - 40. Let j(o) = 11*o**3 + 13*o - 81. Let l(c) = -4*j(c) + 9*v(c). Let u be l(0). Which is smaller: -35 or u?
u
Let w = 6.82 + -10.15. Let h = w + 4.33. Which is smaller: -184 or h?
-184
Suppose -j + 8 = 3*t, 0 = 3*j - 3*t + 5 + 19. Let g be j/6*(-6)/(-4). Let w be (355/60 + -6)/(403/(-52)). Which is smaller: w or g?
g
Let w = 2840/21 + -407/3. Suppose 2*a - 4 = -0. Suppose 0 = -t + 4*k - 2 - 6, t + k = a. Are t and w nonequal?
True
Let h = 48512 - 48496. Let g = -19 - -12. Is g not equal to h?
True
Let c = -48388 - -49128. Let v = -0.07 - -0.17. Is v <= c?
True
Let m be 3/(-5) + (-1036)/(-35). Let g = -46 + m. Is g >= -8?
False
Suppose 2*y = -z + 43, -3*z + 11*y = 15*y - 125. Let t = 87 - 50. Are z and t unequal?
True
Let s(t) = 113*t + 61. Let r be s(1). Suppose -3*i + r = -4*b + 9*b, 5*b = 2*i + 184. Suppose h - 5*w - 41 = 0, w = -4*h - w + 142. Is h < b?
False
Let d(s) = 2*s**3 - 23*s**2 + 12*s - 3. Let u be d(11). Suppose -u*o + 826 = -12*o - 5*y, 3*o - 4*y + 604 = 0. Which is smaller: o or -202?
o
Suppose -4*i - k = 1342 + 5092, 3*k = -i - 1625. Is -1607 > i?
False
Let r be 30/320*36*(6/9 + -1). Which is bigger: 5/3 or r?
5/3
Let r = 31799 - 27506137/865. Let w(y) = -y + 9. Let z be w(8). Which is greater: r or z?
z
Suppose j = 22*t - 24*t + 24083, 60206 = 5*t + 2*j. Let v be t/4016 + (-3)/1. Is v smaller than -1?
False
Suppose m = p + 3, 21 = -m - 4*p + 9. Suppose 5*v - 408 = -2*x, 0 = 3*v - 5*x + 3*x - 232. Suppose b + 4*b - v = m. Which is smaller: b or 49/3?
b
Let h be (6/(-7))/((-64)/(-112)) - 147/(-14). Is -1.56 greater than or equal to h?
False
Let r = -311 + 470. Let o = 67/6 + -347/30. Is o >= r?
False
Let p = 325 - 131. Let s = p - 173. Is s at least as big as -1?
True
Let o be (270795/4836)/7 + -8. Which is smaller: 1 or o?
o
Suppose 0 = 632*d + 199*d + 23829 + 1932. Let i be (0/1)/((-2)/(-1)). Suppose i*v + 2*v + 2*z + 60 = 0, 4*z - 60 = 2*v. Are v and d nonequal?
True
Let v = -21 + 15. Let b be 4 + -7 + 11 + v. Which is bigger: b or -22?
b
Let f(o) = -o**3 + 55*o**2 - 80*o - 225. Let v be f(52). Which is bigger: 3728 or v?
3728
Let p = -112 - -41. Let h = p + 65. Let a(v) = -v**2 - 6*v - 2. Let i be a(h). Is -9/13 less than i?
False
Let b(v) = 17*v**2 - 240*v + 27. Let w be b(14). Which is bigger: 2/1829 or w?
2/1829
Suppose h - 2*k = -1, 0 = 3*h + k - 7 - 4. Suppose 8 = -3*z + 4*u, -2*u = h*z + 3*u + 17. Let m(o) = o**2 - 6*o. Let x be m(z). Is x >= 40?
True
Suppose -5*x + x + 71 = 5*j, 4*j + 3*x = 57. Suppose -25*u + 42 = -11*u. Let s be (-13)/((-50)/j + u). Which is smaller: 40 or s?
s
Let y = 300 + -299. Suppose 0 = -2*k + 6*k - 132. Let c be y/(-1)*(k - 4). Which is smaller: c or -30?
-30
Let b = -2758 + 2757. Which is smaller: b or -1/1223?
b
Let q(f) = f**3 + 107*f**2 - 134*f - 2807. Let i be q(-108). Which is greater: i or -3261?
i
Let a = 1.226 - -0.014. Let x = -36571 + 36570. Is x at most as big as a?
True
Let r be (-3)/(-2) + 50/(-20). Let l be (-4)/(-8)*(r - -1). Suppose 5*o = 2*k + 11, l = -4*o + 6*k - k + 19. Is -4/37 smaller than o?
True
Suppose 49 = 10*n + 39. Let k be (n*15/(-20))/(24/616). Which is smaller: -18 or k?
k
Let i = 0 + 2. Suppose 0*w + 4*o + 8 = -w, -5*w + i = -o. Is w smaller than 1/24?
True
Let x = -1/14 - -4/7. Suppose 3*q + 349 = 6*i - 10*i, 5*i = -20. Which is greater: x or q?
x
Suppose -82*b + 107*b = 100. Suppose -b*d + 5*u - 3*u = -10, 4*d + 4*u = -20. Are 2 and d equal?
False
Suppose -5*f - 4 = -3*b, -2*f = 5*b - 11 - 6. Suppose b*y = -4*h - 206, -y + 82 = -h + 27. Do h and -51 have the same value?
False
Suppose -u = -5*u + b - 478, -4*b + 8 = 0. Let o = u - -115. Is -39/8 != o?
True
Let a be -5*(-6)/1367205*14. Is a smaller than 0?
False
Let y = -6444 + 6444.1. Let p be (-7)/160*(2 + -6). Is y bigger than p?
False
Let u be 2/4*1 + (-1717)/(-34). Let g be (u + 8 + -6)/(-1). Let f = -84 - -30. Which is smaller: f or g?
f
Suppose -2*t = -4*s + 29 - 81, -2*s = 3*t + 42. Let h be (((-15)/2)/s)/(0 - -1). Which is bigger: -25/4 or h?
h
Suppose 0*n + 5*z - 2264 = -2*n, z = -3*n + 3383. Let j be 3/4 - (-4 + n/224). Are 0 and j nonequal?
True
Let r = -3 - 8. Suppose -4*x = 3*y + 72, 3*y + 107 = 4*x + 155. Do r and x have different values?
True
Suppose 5*k + 74 = 3*i + 70, 4*k = 4*i - 8. Is 11/679 less than k?
True
Suppose -15*r - 4*j = -17*r + 28, 4*j + 8 = 0. Suppose -r*l = 12*l + 2288. Is -102 >= l?
True
Suppose -3*y - 14*y = 0. Suppose -3*x = -3*r - y*r - 3, 2*x - 5*r + 10 = 0. Is x greater than 35/9?
True
Let z(r) = 18*r**2 - 10*r - 7. Let l be z(-8). Let c = -133523/109 + l. Let s = 94 + -95. Is s less than or equal to c?
True
Let l be ((-12)/(-90))/((-204)/5634) + (-18)/(-6). Which is smaller: l or 2/3?
l
Let f = -1841 + 1066. Are f and 4 equal?
False
Let a be ((-50)/8)/((-1)/4). Let q(n) = 2 - 4 - 1 - 5 + 33*n + n. Let h be q(1). Is a != h?
True
Let m(o) = o**3 - 15*o**2 + 9*o - 136. Let b be m(15). Is b at least 8/105?
False
Let j = 821/8 - 311351/3032. Are -1 and j equal?
False
Let g(a) = a**3 + 25*a**2 - 10*a - 136. Let p(c) = -10*c + 35. Let h be p(6). Let v be g(h). Is v > 113?
True
Let j = 5669/3745 + -52/35. Does 0 = j?
False
Let u(c) = -4*c - 54. Let d be u(-14). Suppose -d*b = 2*q + 58, -q - 8 = 4*b + 18. Do -30 and q have the same value?
True
Let z = 33 - 33. Suppose z*r + 4*r - 3*x = 17, -3*r = -4*x - 18. Suppose -r*w - 4 = 2*w. Which is greater: 0 or w?
0
Let o = 176 - 176. Suppose o = -201*r + 196*r + 110. Is r equal to -3/5?
False
Let h = 2944.2 + -3580. Let k = h + 634. Which is bigger: 4 or k?
4
Let f = -19.17 - -0.17. Let g be ((-9)/(-6))/((-45)/80*2). Is g less than f?
False
Suppose 4211 = 5*j + 4*b, -4215 = -10*j + 5*j - 5*b. Which is smaller: j or 835?
835
Let k(d) = -d**3 - 11*d**2 + 4*d + 37. Let f = -60 + 148. Suppose 0 = -7*o - f + 11. Let h be k(o). Is -7 smaller than h?
False
Let u = 407 - 406.682. Let q = 55.682 + u. Which is greater: q or 0.3?
q
Let z be ((-6)/(-4))/(534/(-712)). Suppose 3*q - q = -10. Let s be 50/q*z/4. Is 5 bigger than s?
False
Let k be (-6)/21 + 48/98. Let y be 9 + 372/(-48) + (-4)/16. Is k at most as big as y?
True
Let w(r) = -2*r - 12. Let s be w(-15). Suppose s*c - 23*c + 25 = 0. Let x be (-12)/120*c/12. Are 1 and x nonequal?
True
Let y(i) = 23*i**3 - 3*i**2 + 4*i - 2. Let r be y(1). Are r and -31 unequal?
True
Let h = 59 - 43. Let x(s) = -h*s**2 - 2 - 24*s + s**3 + 6*s**2 + 12*s**2. Let o be x(-6). Which is bigger: -6/7 or o?
-6/7
Suppose 0 = -3*m - 3*x + 3, -6 = -5*x - 1. Let h = 29 + -23. Let o be (27/h)/(93/4). Which is greater: m or o?
o
Let z = 123 - 123.29. Let q = z - 0.71. Let m = -0.145 - -58.145. Is m less than q?
False
Let o(p) = -3*p**3 - 3*p**2 - 2*p - 508. Let a(g) = 2*g**3 + g + 2. Let n(y) = 2*a(y) + o(y). Let q be n(0). Which is bigger: q or 2/3?
2/3
Let r = -0.253 - 0.119. Let w = r - 0.028. Let j = -4/23 - 26/115. Is j greater than or equal to w?
True
Let l(r) = -16*r - 26. Let k be l(-12). Is 14 greater than k?
False
Let s(g) = -7*g**3 - 10*g**2 + 2*g + 6. Let c be s(-5). Let z = c - 50921/82. Let x(k) = -k + 5. Let n be x(5). Which is greater: n or z?
z
Suppose -4780*h + 4759*h + 21 = 0. Is 1/1376 smaller than h?
True
Let u = -0.2802 + 1.3802. Which is greater: u or -118/5?
u
Suppose k = -3*k + 8. Let v(o) = k - 2 - 11 + 0*o + 2*o. Let u be v(6). Is u smaller than -3/34?
False
Suppose 13633*g - 13620*g + 2132 = 0. Is -1153/7 less than or equal to g?
True
Let s = -479832 - -479827. Suppose -5*x = -4*o - 126, -4*x + 2*o = -x - 76. Which is bigger: x or s?
x
Let k = 0.03869 + -0.03869. Let r = -121 + 1