smaller: z or -3/8?
-3/8
Let k = -730/33 - -1538099/69531. Do k and 0 have different values?
True
Let c(r) = -3*r**2 + 122*r + 251. Let h be c(-2). Which is smaller: h or -224?
-224
Let v = -29 + 56. Suppose -v*w - 6 = -33*w. Is w smaller than 14/25?
False
Suppose -145*f = -156*f - 1342. Is -126 smaller than f?
True
Let c = 14692 - 14691. Which is smaller: 1/26423 or c?
1/26423
Suppose 420 = 4*n + 2*n. Suppose -v = -6*v + n. Let j = v - 27. Which is smaller: j or -14?
-14
Let y be 6848/(-3418) + 2/(-5)*-5. Let a = y - 9672/165773. Let k be 3/9*2 - (-1)/3. Which is smaller: k or a?
a
Let w = 35.5 + -35.514. Let x = w + -29.986. Which is greater: 0 or x?
0
Let m = -1257499/21743 + -61/1279. Let x = -58 - m. Let s be (3 + (-2)/((-4)/(-5)))*2. Are s and x equal?
False
Let f(v) = 2*v**2 - 2*v + 1. Let c be f(-2). Let x(o) = -5*o**3 - 2*o**2 + 3*o + 3. Let q be x(-3). Let l = q + -98. Is c at least as big as l?
True
Let l(b) = -b**3 - 13*b**2 - 27*b - 14. Let v be l(-12). Let g = v - 499/3. Let q = 0.11 - -0.21. Do q and g have the same value?
False
Let a be -1 + ((-6)/9 - 56/(-12)). Let p = 24 - 19. Let q be ((p + -3)/2)/(2 + -1). Is q less than a?
True
Let o(k) = k + 3. Let n be o(-7). Let m = 109 + -234. Let s = 123 + m. Is n < s?
True
Let m = -366 - -9. Let f = m + 358. Do f and 2/23 have the same value?
False
Let r(s) = -11*s - 10*s**2 - 12*s + 29*s + 3 - 8*s. Let h be r(4). Let f be (1360/h)/(-4) - 2. Which is smaller: f or -1?
-1
Suppose s + 2*m - 26 = 0, 4*m = 3*s - m - 34. Let c be s/(-1) - (-4 + -2). Which is greater: c or 4/7?
4/7
Let q = 0.087 + 0.838. Let g = q - 0.9. Let f = -0.075 - g. Is f bigger than 1?
False
Let a = 0.00281 + 8.05719. Is -2 at least as big as a?
False
Suppose 15 = 5*p - 15. Let y = 1.6191 + -1.6191. Is p < y?
False
Let l = 80 - 1. Let w = 78.81 - l. Which is smaller: 0 or w?
w
Let i be 2595/(-36) - (-25)/300. Let n be 9/(-24) - 595/i. Is n > 7?
True
Let a be (((-255)/6)/5)/(605/(-594) + 1). Which is bigger: a or 5976/13?
5976/13
Suppose 0 = 5*k + 4*p + 1231, -5*k - 5*p - 496 = 734. Let a = 247 + k. Is -6/11 != a?
True
Let t = -21411 - -21395. Suppose 2*h + 0 = -8. Let c(j) = j**2 + 2*j - 5. Let f be c(h). Is f > t?
True
Let h = 97816/2951531 + -60/1969. Which is bigger: 0 or h?
h
Suppose 5*b + 16 = 13*b. Let x be 3/((-2)/b) - -35. Which is greater: 33 or x?
33
Let w(k) = -k + 88. Let n be w(33). Do n and 52 have different values?
True
Let z = 5598 + -229651/41. Which is smaller: z or -4?
-4
Suppose -10165 = -28*x - 10193. Which is smaller: -5/711 or x?
x
Let f = 366 - 337. Let d be (f/(-58))/((-2)/4). Is 2/117 less than d?
True
Let w be 20/(-25) - 79/(-5). Suppose 124 = -4*n - 18*o + w*o, 0 = -n - 4*o - 44. Is n less than -300/11?
True
Let w be ((-1)/9)/(1/(-3))*0. Let q be (w - -1)*65/(-5). Is -0.6 > q?
True
Let p = -1.29 + -0.37. Let j = p - -1.76. Which is smaller: 1/11 or j?
1/11
Let s = -30148 - -16562. Which is bigger: -13585 or s?
-13585
Let j = 2972 + -2845. Do j and 127 have the same value?
True
Let o = -4585 + 4644. Which is smaller: o or -16?
-16
Suppose -1144*z = 2*n - 1143*z - 642, 0 = -4*n + 3*z + 1314. Is n < 1299/4?
True
Let k(r) = r**3 + 12*r**2 - 98*r + 31. Let t be k(-18). Is -144 bigger than t?
True
Let h = -0.129 + 0.071. Let a = 303 - 303.0488. Let w = a + 1.0488. Which is smaller: w or h?
h
Let r(a) be the third derivative of 1/10*a**5 - 11*a**2 + 1/12*a**4 + 0 + 0*a - 1/3*a**3 - 1/120*a**6. Let u be r(5). Are u and 33 equal?
True
Let j = 36 - 250/7. Let l = 0.059 + -1.759. Let q = 1.4 + l. Which is smaller: j or q?
q
Let v be 256/(-476) - 6/63*3. Suppose -16 = q - 4*d, -4*q + 6*q + 3*d - 12 = 0. Which is greater: v or q?
q
Let v = -9245/3 + 406717/132. Do v and 0 have the same value?
False
Let w be (-5)/(210/(-8669)) + 6/63. Let j = 185 - w. Which is smaller: j or -22?
-22
Let q be (1/2)/((-3)/(-62)). Let h = -95 - -537. Let u = -442.1 + h. Is q smaller than u?
False
Let i = -16475 + 16298. Which is smaller: i or -164?
i
Let f be 1/((-12)/(-263)) - 37/(-444). Suppose 24*i = -4*l + f*i - 306, -9 = -3*i. Which is greater: -77 or l?
-77
Let k = 71694 + -787846/11. Let p = k + -575/22. Which is bigger: 47 or p?
47
Suppose -37 = -w - 3*m + 9, -5*w = 5*m - 170. Let x be 1/(-2*1/(-130)). Let q = w - x. Does q = -38?
False
Let f be (-46)/(-2) - (1 - -1). Let y be (112/40)/((-2)/(-25)). Suppose 2*s = 9 + y. Which is bigger: s or f?
s
Let q = 1/64 - 23/448. Suppose -211*d = 20*d. Which is greater: q or d?
d
Let n = -2721 - -16327/6. Is -132 < n?
True
Let f = 53/88 + -45/88. Let a(i) = i - 1. Let s be a(2). Is f greater than s?
False
Let h = 0.6 + -0.3. Let d = -3294 - -3293.63. Which is smaller: h or d?
d
Let w = -1.898 + -0.492. Let r = w - -2.39. Which is bigger: 0.48 or r?
0.48
Suppose 2*r + 3*r = -15. Let n(g) = -13*g - 64. Let y be n(-5). Let j be y/(18/2 - 0). Which is smaller: r or j?
r
Let g be (-1 - 3)/(1080/(-28485))*(-6)/3. Which is greater: g or -843/4?
-843/4
Suppose 3*x + 2*z - 176 = 0, -3*x + 10*z - 7*z + 156 = 0. Suppose -x = -13*b + 5*b. Do b and 13/2 have the same value?
False
Let w = 2.111 - 1.498. Let c = 0.087 + w. Which is bigger: c or -7?
c
Let s = -158.36 - -141.92. Which is smaller: s or 0.02?
s
Let o = -41 + 36. Let j be o/(-4) + (-15)/12. Let l be (-1)/42 - (-4)/(-12). Is j > l?
True
Let s be (-1173)/(-1284) - (-3)/48*12. Which is smaller: s or 2?
s
Let k be 19 + 440/(2 + -24). Suppose 5*q = -3*g + 343 - 6215, 4*q = -2*g - 3914. Let v = -244877/125 - g. Is v > k?
True
Suppose -a + f = 247, 5*f + 1229 - 464 = -3*a. Is a at least as big as -262?
True
Let z(n) = -12 + 27 + n + n. Let g be z(-8). Let k be ((-15)/(-6))/5*(1 + g). Which is bigger: k or 1/6?
1/6
Let v(m) be the third derivative of -1/8*m**4 + 0 - 1/3*m**3 + 0*m**5 + 49/120*m**6 + 0*m + 26*m**2. Let s be v(-1). Is -48 smaller than s?
False
Let h = -274 + 160. Let b = 115 + h. Which is smaller: 1/76 or b?
1/76
Suppose 77*m + 40 = 69*m. Let i = -22 + 24. Suppose 3*s = -3*l - 18, -3*l - 48 = i*s - 5*s. Are l and m non-equal?
True
Suppose 583 - 107 = 14*d. Let v be (-7 - 244/(-36))*d/(-4). Does v = 1?
False
Suppose 5707 = 10*c + 1187. Let k = 462 - c. Is k <= 15?
True
Let m = -3254 + 406748/125. Let u = -281 + 282. Is m less than or equal to u?
True
Let v be (-12453)/(-56) + -7 + (-6)/112*-7. Is v at most 5?
False
Let o be 67/(-5) - ((-11 - 4) + 7). Is 25 equal to o?
False
Let u(b) = 57*b + 710. Let t be u(-13). Let j(p) = -3*p**2 + 1. Let f be j(3). Which is smaller: f or t?
t
Suppose 36*m = 32*m + 480. Let k = m + -260. Let z be 96/k - (-4)/14. Which is smaller: 0 or z?
z
Let u = -6.076 + -0.124. Let a = u + 6.3. Is a bigger than 1/43?
True
Suppose 389*p + 1068 = 391*p. Let n = -552 + p. Is n >= -10?
False
Let j = 2 + -2.2. Let n = -19.9963 + 0.0563. Let q = -19.8 - n. Is j smaller than q?
True
Let r = 104.49 - 105. Let w = r - 1.49. Let m = w + 7. Are 1/2 and m equal?
False
Let j be ((-12)/15)/((-2)/16385). Which is smaller: j or 6555?
j
Let x(c) be the second derivative of -c**4/12 - c**3/3 - 5*c. Suppose 2*b - 13*b = 33. Let g be x(b). Which is smaller: g or 1?
g
Suppose -104 = -b - 0*b. Let q be 57/38*b/10. Is q at most 16?
True
Let d = 3478 - 3478.1. Is -548 equal to d?
False
Suppose 148*z - 88 = 140*z. Suppose -13*j + 10 = -z*j. Which is bigger: j or 4?
j
Suppose 2*h - 93 = j, -2591*j - h = -2589*j + 211. Let u(x) = -12*x**2 + 3*x - 3. Let z be u(3). Which is bigger: z or j?
z
Let b(p) = p**2 - 9*p + 20. Let u be b(5). Suppose u*a = a - z + 15, 0 = -2*a + z - 29. Let t be (-3)/5 + (-211)/15. Which is greater: t or a?
a
Let j(c) = -c**2 - 17*c - 63. Let n = -85 + 77. Let x be j(n). Which is greater: 14 or x?
14
Let u = -1.9 - -2.38. Let f = 38.48 - u. Let a = -181832.9 - -181833. Does f = a?
False
Let d be (1 - 34/6) + (-130 - -136) + -2. Which is bigger: d or -1508?
d
Let m be ((-1)/((-4)/(-4313)))/(1619/(-12952)). Is 8625 greater than m?
False
Let s = -106.05 - -104. Let r = s + 1.85. Is 5/3 at least as big as r?
True
Let v = -100.466 - 0.534. Let l = -1.36 + -58.64. Let m = v - l. Which is smaller: m or -0.1?
m
Let d = -638381406/6811 - -93728. Are d and -1/4 equal?
False
Let q be ((-24)/10)/((-13)/(-10)). Let v(x) = 2*x**2 - 12*x + 48. Let y be v(4). Suppose y*f = -9*f - 41. Which is smaller: f or q?
q
L