maller: 19/13 or z?
19/13
Suppose -5*x - 5 + 30 = 0. Suppose 0 = 4*r + 4*h - 4, 0 = -4*r + x*h - 7 - 7. Is 10/23 != r?
True
Suppose 4*r - 6*r - 232 = 0. Let c be r/(-36) - 6/27. Let z be -4*c/(-4)*-4. Do z and 0 have different values?
True
Let w be 6/(-1) - 5/((-1)/1). Are 2/285 and w unequal?
True
Let s be 2*1/(-4)*24. Let j = -15 - s. Is j <= -1?
True
Let q = -22 + 230. Let x = -6451/31 + q. Is -1 at least x?
False
Let h(q) = -q**2 + 18*q - 110. Let z be h(8). Is -25 smaller than z?
False
Let f be -3 - ((-4)/1 - 20). Let n = f - 12. Suppose n*w - 14*w = 0. Is w less than or equal to 2/17?
True
Let z = -3.9 + 2.2. Which is smaller: 0 or z?
z
Let c be (-105)/55 - -4 - 2. Let s(t) = -t**2 - 5*t + 6. Let p be s(-7). Let x(h) = -h**2 - 7*h + 7. Let k be x(p). Which is smaller: c or k?
k
Let u = 130.9 - 131. Which is smaller: u or -300?
-300
Suppose -2*s - 18 = -5*s. Let n be s - 2*(0/(-4) + 1). Which is smaller: n or 28/11?
28/11
Suppose -7*m - 12 = -3*m, 3*m = -5*i + 6. Let y be ((-2)/i)/(14/(-12)). Let g(d) = 13*d - 51. Let t be g(4). Which is smaller: y or t?
y
Let g be 1 + (-1 - (0 - 0)). Let s be ((-2)/10)/((-288)/(-96)). Is g bigger than s?
True
Let y(l) = -39*l**3 + 2*l**2 + l + 1. Let u be y(2). Let t = -3308/11 - u. Which is smaller: -1 or t?
-1
Let s = 1130 - 1130.037. Which is smaller: -0.02 or s?
s
Let c(r) = -3*r**2 - 46*r - 91. Let v be c(-13). Is v > 5/36?
False
Suppose -18 = y - 2*y. Let z = 472 + -453. Are y and z equal?
False
Let w = 5.28 + 1.42. Let v = -15.7 + w. Which is smaller: v or 0?
v
Suppose -f = k - 13 - 119, 3*k + 15 = 0. Let z = -92 + f. Is z less than 45?
False
Let b = 53 + -52.9. Let x be 53/(-11) + 6 + -3. Which is greater: x or b?
b
Let d = 1815 - 1815. Is d less than 3/1136?
True
Let d = -0.495 + 0.395. Which is bigger: d or -0.622?
d
Let f = -10 + 8. Let o = -4 + 0. Let k = f - o. Which is smaller: k or 0.3?
0.3
Suppose 2*u = -3*f + 5*f - 14, -3*f - 4*u - 7 = 0. Suppose -9*k + 5*k = -f*k. Which is smaller: k or -3/53?
-3/53
Suppose 127 = q + 675. Which is bigger: q or -549?
q
Let g = -12.63 + 14.63. Are -1.4 and g equal?
False
Let p = -207 - -201. Let g = -4 + 3. Let i be g/4 + 135/(-20). Do i and p have the same value?
False
Suppose 0*h - 3*h + 18 = 0. Suppose 0*b - 3*b = 12, 3*v = 2*b - 7. Let k be ((-100)/h)/v + -4. Which is bigger: k or -22?
k
Let o = 10 - -2. Suppose -17*l + 20*l + 5*s = 51, -3*l + 5*s + 21 = 0. Do l and o have the same value?
True
Let z = -5449592/453 - -12030. Which is greater: 1 or z?
1
Let x = 20 - 38. Let a be (4/10)/(4/(20*-9)). Is x bigger than a?
False
Let l = -2 + 1. Let o = -1/7 - 0. Which is bigger: l or o?
o
Let g = -8 - -29. Let v = g + -18. Which is bigger: v or 2/7?
v
Let t(k) = -k**2 + 6*k + 1. Let l be t(6). Suppose -2*z + l = -1. Let i be (-32)/(-63) + (-2)/7. Is i greater than or equal to z?
False
Suppose 5*v = -2*y - 44, -4*v + 28 = -4*y + v. Which is greater: y or -10?
-10
Let h = 0.253 - 1.253. Which is bigger: h or 122?
122
Suppose -3*a + 0*b - 3*b - 18 = 0, 0 = 4*b + 16. Let l be (8*(-2)/(-84))/((-1)/9). Which is greater: a or l?
l
Suppose -8 = -9*d - 17. Is -1/605 bigger than d?
True
Let x be 1/4 - (4 + 19752/(-5216)). Which is greater: x or 1?
1
Suppose 0 = 5*b - 3*h - 3306, 3*b - 4*h = 184 + 1804. Is b < 659?
False
Let l = 2483 + -2472.99. Let q = -10 + l. Is q greater than 6?
False
Let s = 2/173 + -2253/346. Let j = -102 + 100. Let a be 1/(j/((-24)/(-50)) + 4). Which is bigger: a or s?
a
Let i = -788 + 814. Is 22 < i?
True
Suppose 0 = -5*l + 10*l - 5. Let c be l + (8/20 - 6/(-10)). Is 3 < c?
False
Let v be 8/20 + 52/10. Suppose 5*u = -2*k + 30, 5*u + k - 3*k - 30 = 0. Which is greater: v or u?
u
Suppose 4*o - 143 - 41 = 0. Let m = o - 48. Is m less than 2?
True
Suppose 9*v - 13*v = 0. Suppose -19 + v = -19*d. Is d at least -14/31?
True
Let i be (-24)/(-10)*4/60*25. Which is smaller: i or 16?
i
Let q be ((-12)/(-21))/((-7332)/1974). Let y be (-2)/4*2*-1. Suppose -l = 2*l + d + y, d = -l - 3. Is l less than q?
False
Let n = -7.94 + -0.06. Suppose -5*b = 5*w - 20 - 10, 4*b + 2*w - 20 = 0. Let g be (-1)/b - 6/(-12). Is n smaller than g?
True
Suppose -3*z = -6*z - 60. Let y be ((-2)/10)/((-72)/z). Which is bigger: y or 1?
1
Let x = 7/13 - 41/52. Suppose 6*m + 9 = 3*m, 0 = -z - 5*m - 4. Suppose 10*b = z*b - 4. Which is smaller: x or b?
x
Let x be (13/(-4))/(2/(-24)). Let z be 0 - ((-115)/x + 3). Let t = z + 437/156. Which is bigger: 2 or t?
t
Let t = -1164 + 1656. Is t < 0?
False
Let s = -335 + 1682/5. Let c = 99 - 97. Is s at least as big as c?
False
Let z = -204 + 207. Do z and 22/7 have the same value?
False
Let b be 1 + (-78)/69 + 0. Suppose -37*f + 32 + 5 = 0. Is b bigger than f?
False
Let b be 6 + (-3400)/335 + 4. Which is greater: 1 or b?
1
Let r be (6/(-4))/(6/(-8)). Let m be (-3)/r*10/(-3). Let i = -522 - -526. Which is smaller: i or m?
i
Let l = -1.93 - -3.93. Is l smaller than -19?
False
Let y be 175/(-84)*(-4)/(-10). Which is bigger: y or 0.008?
0.008
Let f = 20.972 - 21. Let y = 3.028 + f. Let t = 1 - -1. Is y < t?
False
Suppose 0 = 46*t + 2744 - 14704. Which is greater: t or 259?
t
Let g be 2/6 + 2/3. Let b be (-166589)/(-409101) + (-2)/6. Let w = 4/121 - b. Is g equal to w?
False
Let y be (-36)/(-163)*(-44)/352. Which is smaller: y or 0?
y
Let b be ((2 - 1) + -4)/(-1). Suppose 5*u - 2 = b*u. Let p = 162 - 1462/9. Are p and u equal?
False
Let h be (1/2)/(83/5146). Which is smaller: 46 or h?
h
Let g = 217.4 + -217. Let u be ((-3 - -6) + -2)/1. Does u = g?
False
Let w(u) = -u**2 + 2*u - 19. Let p be w(-6). Suppose 0 = -5*r + 213 - 548. Is p > r?
False
Let g(y) = 2*y + 27. Let k be g(-11). Suppose t = -4 + k. Is -2/9 greater than t?
False
Let b = -71 - -72.01. Let o = -1 - 0. Let k = b + o. Which is smaller: 0.1 or k?
k
Let a be 6*3/420*(14 + -6). Are 0 and a non-equal?
True
Let w = 1.452 - 0.337. Let f = 0.115 - w. Which is bigger: 3 or f?
3
Let x(v) = 2*v**3 - 6*v**2 + 3*v + 1. Let g be x(4). Let w be (54/g)/((-1)/30). Let m = 51 + w. Which is greater: m or 16?
16
Let x(o) = -2*o**3 - 15*o**2 - 19*o - 7. Let z be x(-6). Let w = -14 + 35. Are z and w equal?
False
Let i = 0 + 0.1. Let u(c) = -9*c - 9. Let p be u(-8). Let q be 1/(-5) - p/35. Which is smaller: q or i?
q
Let l = -26.5 - -24. Let m = -13.5 + l. Which is greater: m or 1?
1
Let f be ((-213561)/(-19413) - 11)/((-2)/6). Which is smaller: f or 1?
f
Suppose -20*u = -23*u - 180. Let l = u + 57. Is l greater than or equal to -11?
True
Suppose -4*b + 14 = 2*i - 6, -b + 5 = i. Let o be (1/9 + 0)/(-1). Which is bigger: o or i?
i
Suppose -4*q - 5*g - 15 = 0, -g - 4 = -q - 1. Suppose -3*d + q*d = -21. Suppose -d - 9 = 2*p. Is -5 != p?
True
Let g = -15233/4 - -3748. Is -60 at most g?
False
Let c be (2/6)/1 + (-3486)/1260. Let b = c - -17/6. Is b > -1/102?
True
Let g(t) = -33*t + 12. Let y be g(2). Is -53 > y?
True
Let f = 103/214 + 2/107. Which is smaller: f or -0.08?
-0.08
Suppose -5*w = -4*z + 45, -5*w - 20 = -0*z + z. Suppose 0 = -z*t - 40 - 10. Let f be ((-4)/t)/((-11)/55). Does f = -0.2?
False
Suppose -8 = -4*a + 2*h + 2*h, 4*a + 5*h = -1. Let q be 4/16*a*-38. Which is greater: q or -10?
q
Let a = 0.03 + -2.73. Let p = 2.61 + a. Are p and -2 equal?
False
Let b = -1809 - -1807. Is b != -170?
True
Let t be 150/12*(-12)/5. Let y = -20 - t. Let d = -13 - -24. Do y and d have the same value?
False
Let z = 76 + -531/7. Let l = -146 + 146. Which is smaller: l or z?
l
Let q = 678 + -712. Is -296/9 at most q?
False
Let n = 143.5 + -143.4. Is -739 at most as big as n?
True
Let i(u) be the first derivative of u**3/3 - 7*u**2/2 + 3*u - 274. Let j = 16 + -11. Let o be i(j). Which is smaller: o or -8?
-8
Let o(t) = -t**3 + 1. Let i(j) = -j**3 + 2. Let v(a) = i(a) - 3*o(a). Let k be v(2). Let f be (-3)/15*k/(-27). Is f > 2/7?
False
Let s be 1*2/(-28)*20. Let h = s - 183/14. Is -15 less than h?
True
Suppose 7 - 22 = 5*w. Let r = w + -27. Let f be 70/4*(-2)/r. Is 1 at most f?
True
Let g = 27 + -26. Which is smaller: g or -4/39?
-4/39
Let r = -10.22 - -10. Let v = -0.02 - r. Is v less than or equal to 1?
True
Suppose 0 = -5*u + 3*d + 206, 14*u + 114 = 17*u - 5*d. Is 43 less than or equal to u?
True
Let d be 4/((-10)/(-14) - 14/(-49)). Suppose -11*t = -d*t + 98. Which is bigger: t or -15?
t
Let a = 32 - 55. Let u = a