2606499/4. Which is smaller: q or w?
q
Let d = 29 + -29.14. Let m = 3626 - 3643. Which is greater: d or m?
d
Suppose 32 + 4 = 3*j. Suppose 6*v = -j*v - 63000. Let h = 451502/129 + v. Are -1 and h non-equal?
True
Let y be ((-104)/10)/((1092/(-70))/(-39)). Which is bigger: y or -29?
y
Let h be 7/(-4) - 5260/(-400). Which is smaller: h or 1/2?
1/2
Let f be 2/5 - 8/(-30). Let g = 907/7 + -9585/77. Which is smaller: g or f?
f
Let p be (-15)/(180/24) - (-3 - 0/1). Which is bigger: p or 1/6886?
p
Let d = 4967 + -4966. Which is greater: d or -680?
d
Let g = 19505 - 19543. Is g at least -12?
False
Let a be (5/(-20))/(3/60) - (-26)/4. Which is smaller: 254 or a?
a
Suppose 5*s - n = 1901, n + 255 + 130 = s. Which is bigger: 376 or s?
s
Let u(g) be the third derivative of 28*g**2 + 49/6*g**3 - 1/60*g**5 + 0*g - 11/12*g**4 + 0. Let j be u(-24). Is -4/41 > j?
False
Suppose 0 = 3*y + y - 4*u - 16, u + 14 = 3*y. Suppose -y*r - 251 = -2*n + n, -4*r = -4*n + 1036. Which is smaller: n or 262?
n
Suppose 397*d - 21 = 198*d + 178*d. Which is bigger: -2/7581 or d?
d
Suppose -9*m + 364 = -16*m. Suppose 28 = a - 23. Let f = a + m. Is 4/33 less than or equal to f?
False
Let l = 146 - 177. Let r = -31 - l. Are -3/35 and r unequal?
True
Suppose 0 = -5*w + 5*f - 720, 34*f - 286 = 2*w + 33*f. Which is bigger: w or -168?
w
Let r = -140 + 274. Let k = -134 + r. Is k at most 0.15?
True
Let s = -2627 - -30. Which is smaller: -2596 or s?
s
Suppose -268*t - 2663 - 5177 = -2748. Which is smaller: t or 23?
t
Suppose 2*z - 3*s = s - 2, 0 = 5*z - 4*s + 5. Let n(t) = -3*t**2 + 4*t. Let r be n(-5). Let i be (8/r)/((-20)/50). Which is greater: z or i?
i
Let h = -2211 + 2210.8. Let p = -169/4278 + 1/138. Which is greater: h or p?
p
Let o = -86.8 + 48.7. Let c = 37 + o. Let y = c + 1. Is -1/16 bigger than y?
True
Let g = -434/9 - -48. Let i(u) = u**3 - 50*u**2 - 423*u + 4878. Let z be i(56). Which is bigger: g or z?
z
Let w = 40.471 + -2.471. Does -1 = w?
False
Let k = 25 + 0. Suppose 4*a + k + 7 = 3*s, 0 = -5*a - 4*s - 9. Let b = -4 + -2. Which is smaller: b or a?
b
Let c(h) = -4*h - 15. Let t be c(0). Let k = t - -17. Suppose -3*v - 36 = -k*l + 5*l, -2*l = -5*v - 46. Is -17/2 greater than or equal to v?
True
Let b(x) = -x**3 + 7*x**2 - 10*x - 7. Suppose y = 4*y - 9. Suppose 3*j + y*z - 15 = z, z = 0. Let s be b(j). Is -7 < s?
False
Let s = -3783 + 5263. Which is smaller: -0.1 or s?
-0.1
Suppose -4*b + 71 = -9. Let k(i) = i**3 - 20*i**2 + 4. Let p be k(b). Suppose p*o - 14 = -10. Is o < -3/31?
False
Suppose 0 = -110*t - 60*t. Is t < -6748/5?
False
Let z(n) = 4*n**2 - 5*n - 4. Let x be z(-3). Suppose 166 = x*j - 49*j. Let o = -86 - j. Which is smaller: -5/2 or o?
o
Let u = 138515964 + -582598148077/4206. Let t = u - 2/701. Which is smaller: t or -3?
-3
Let s = 144 - 138. Suppose 2*f - s*f + 2 = 3*n, 2*f + 3*n = -2. Which is greater: f or -105?
f
Let d = -3551 - -3550. Is 2/38467 >= d?
True
Suppose 0 = -17*b + 13*b + 2164. Suppose b = t + 539. Which is bigger: 0 or t?
t
Suppose g - 3*t + 232 = 0, -g - 228 = 2*t - 6*t. Let r = -244 - g. Which is smaller: r or 6?
r
Let a = -399350/29 - -13771. Are a and -1 nonequal?
True
Suppose -12*w + 11*w + 36 = 3*c, 3*c - 30 = -3*w. Suppose -c*u = -15*u + 94. Suppose v - 42 = 5*d, 0 = -4*v - d + 5*d + 184. Are v and u equal?
True
Let q = 1.5368 - 1.4368. Is -4196.1 greater than q?
False
Let m = -853.5 + 857.9. Is m at least 0.008?
True
Let r be (-76)/(-6) + 1/3. Let z(m) = -m**3 + 39*m**2 - 6*m - 119. Let b be z(39). Let j = b + 365. Which is smaller: j or r?
j
Let z = -18 - -21. Let q be 2 + (-15)/z + -3. Let a be 128/(-174) + 0 - q/9. Do a and 1 have the same value?
False
Let h = -3265 + 3906. Which is bigger: 633 or h?
h
Let j = 221 + 352. Suppose 10*s - 1287 - j = 0. Is s smaller than 373/2?
True
Let j be (6438/42 - 5) + (-2 - 1). Let o = 145 - j. Is o equal to -24?
False
Let n = 562/3 - 1003/5. Let w = n + 44/3. Which is bigger: w or -2?
w
Let z(n) = 12*n**2 - 13*n + 13. Let k be 44/52 + -2*(-3)/39. Let s be z(k). Let h = 16 + -4. Is s not equal to h?
False
Let d be -1 + (-5)/((-440)/87). Suppose -17*a - 20 = -3. Let v be a/1*(-3 + (-4)/(-1)). Which is greater: d or v?
d
Let k = 13761.1 + -13683.1. Let x be 1*3 + 1 + -2. Are k and x non-equal?
True
Let i = 653.4 + -1158. Let l = i - -505. Is 42 at least l?
True
Let w be -1 + 12/(-4) + 1294. Let z = w - 274768/213. Let n be (-46)/69*3/4*0. Is n at most z?
True
Let l be (-2 - (-2 - 2))*3/(-6). Let y be l + (3 - (-3 + 2) - 142). Is y != -139?
False
Let d = 17378 - 17341.955. Let s = d - 36. Let q = s + 28.955. Which is smaller: 1 or q?
1
Let g = 38452 + -38450. Is g less than -592?
False
Let j(y) = 16*y**2 - 234*y + 1396. Let z be j(6). Is z equal to 576?
False
Let a = 707387/292361 - 2/9431. Is a at least as big as 3?
False
Let z(t) = 1 + 2*t + t - 2*t. Let j be z(3). Let g be j/(-2) + 2 + 1 + -1. Which is greater: 2 or g?
2
Let s(j) = 16*j - 2317. Let g be s(144). Suppose -6 = n + 5. Is n at most g?
False
Let g(b) = b**3 - 4*b**2 + 2*b + 4. Let i be g(4). Let u = 237 - 232. Suppose 0 = -u*y - 3*s + 52, y + s = 3 + 9. Is i != y?
True
Let v = -2.3 + 7.3. Let u = -23 + v. Let l = u + 6. Which is smaller: -1 or l?
l
Suppose -250*a + 74639 + 52611 = 0. Which is smaller: 544 or a?
a
Suppose 0 = 2*s - 36 + 32. Suppose -4 = -4*z, g = -2*z - s*z + 7. Suppose 0 = 2*u - g - 29. Do 17 and u have the same value?
False
Suppose 3*x + 5*l + 40 = 124, 0 = 4*x + l - 112. Suppose 5*i = -3 + x. Suppose 8*b = i*b - b. Does b = 5/4?
False
Let a = -6579 - -8760. Which is bigger: a or -1?
a
Let t(j) = -2*j**2 + 31*j + 205. Let w be t(-5). Is w < 604?
True
Let d = 4/1429 + -266/1116049. Which is smaller: d or 2?
d
Let r = 6.71 - 7.1. Let u = 0.37 + r. Let y be (-4)/8*-7 - 3. Is u greater than y?
False
Suppose 10*b - b = -0*b - 2*b. Is b < 1/2546?
True
Let j = 15/64 + 9/64. Let i = -71/5 + 99/7. Are i and j equal?
False
Let n(d) = -33*d**3 - 11*d**2 - 86*d - 374. Let b be n(-5). Which is greater: 3907 or b?
3907
Let s be ((-6)/(-21) + 47916/21)/2. Which is bigger: s or 12558/11?
12558/11
Suppose -3*u - 46 = q, -19 - 60 = 5*u + 4*q. Let n(m) = 13*m + 180. Let i be n(u). Which is smaller: -3 or i?
i
Suppose 0 = -4*u - c - 54, -2*u + 5*u + 45 = -3*c. Let m(a) = -15*a + 250. Let h be m(17). Is h less than u?
False
Suppose -26*k + 6*k = -800. Suppose -28*a + 8*a + k = 0. Is a at most as big as -6.3?
False
Let w = 329 - 323. Let t be ((-32)/(-240))/(100/w). Which is smaller: t or -1?
-1
Suppose -3*a - 46 = -4*x, -5*x + 2*a + 62 = 8. Suppose 6*g = x*g. Which is bigger: g or -2/515?
g
Let i(f) = 256*f - 1281. Let j be i(5). Is -7121 less than j?
True
Let y = 1439/113 + -594713/45991. Which is bigger: 0 or y?
0
Let m(c) = 4*c**2 - 24*c + 17. Let g be m(5). Let w(n) = -n**2 + 10*n + 36. Let z be w(g). Is z at most 0.02?
True
Let d be -6 - (2782600/(-467840) + (-1)/16). Which is greater: d or 1?
1
Let g = -153386/5 - -30801. Let x = -123 + g. Let v = 133147/9 - 14794. Which is bigger: x or v?
x
Let a(h) = h**2 - 6*h - 161. Let d be a(-10). Does d = -2/6387?
False
Let m be (2232/(-1242))/(18/27). Which is bigger: m or -2?
-2
Let s(f) = -f**3 - 7*f**2 - 6*f + 2. Let k be s(-6). Suppose k*x + 0*x = -38. Suppose -m + 2*t - 11 = 0, -4*m + 0*t - 5*t = 96. Is m equal to x?
True
Suppose 2*a + 5*o - 20 = 0, 3*o = a - 0*o + 1. Suppose -2*z = 2*h - 7*z - 57, a*z + 5 = 0. Suppose 4 = m - 3*s + h, -s = -3*m - 50. Is -17 < m?
True
Suppose -11*b = -13*b + 8. Suppose 0*r = 5*a - b*r - 12, -12 = 4*r. Let f be 242/82 + 4 + -7. Which is bigger: f or a?
a
Suppose -o = 8*o + 63. Let q(j) = -j**2 - 7*j + 3. Let f be q(o). Suppose 10*k - 7*k - f = 0. Is -1 <= k?
True
Let l(h) = 5*h**3 - h**2 - 21*h + 17. Let f(n) = 11*n**3 - n**2 - 40*n + 34. Let i(t) = -2*f(t) + 5*l(t). Let w be i(4). Is w <= -1/2?
False
Let i = -6.2 - -8.9. Let q be 3/(24/(-200)*-5). Is i >= q?
False
Let q be -1 - 1/(1/1). Let f = -240 - -583. Let k = 343 - f. Is q != k?
True
Let a(f) = -22*f**2 + 4*f - 4. Let d be a(4). Let z = -360793/80 + 66721/16. Let w = z - d. Is 1 smaller than w?
False
Let p be 11 - (-970)/66 - 0*1/3. Is 27 equal to p?
False
Let z be 5 + (-6 - -2) - (3 + -14). Suppose -2*u + 4*r - 232 = 6*r, 3*r + z = 0. Let m be u/177 - (1 - (-10)/(-6)). Which is smaller: m or