 + 127 + 263. Are h and -924/31 equal?
False
Let m = -2 - -1.98. Let p = -108545.5 + 108545. Which is greater: p or m?
m
Suppose 41888 = 3*t + 28637. Is 4419 bigger than t?
True
Let k = -6 + 4. Let c = -18518.6 - -18513.6. Which is smaller: c or k?
c
Let u = 2360 - 2362. Are u and 214 non-equal?
True
Suppose 0*v + 45*v - 114660 = 0. Is v greater than 2548?
False
Let z(f) = 526*f + 3720. Let a be z(-7). Is -0.36 greater than a?
False
Let p be (-49)/245*(-1 - -1). Is p >= -14/535?
True
Let n be (-3 - 249/(-75))*63/12726. Which is bigger: n or -1?
n
Let j be -3 - 0 - (1 - 2). Let s be 0 + 2 + (-13)/((-1144)/62664). Let p = -716 + s. Which is greater: j or p?
p
Let g = -508 - -471. Let f be 3 + 1 + -2 + 29. Let m = g + f. Which is smaller: -8 or m?
-8
Let t = -2188/9 - -2194/9. Let q = -0.01 - -3.71. Is t greater than or equal to q?
False
Let b(q) = -2*q**2 - 98*q - 937. Let n be b(-37). Does n = -26?
False
Suppose -5*o + 2573 = -5657. Is 1647 not equal to o?
True
Let i be (-2)/5 + 48/20. Let k be (-20984)/616 + 1 + 4. Let g = k + 348/11. Which is bigger: i or g?
g
Let h = -3 + 3.2. Let i = -144 + 494. Let d = i + -349. Which is greater: h or d?
d
Let j be ((-52 + 52)/(-46))/(-44). Let u = -435524/187 - -2329. Which is bigger: j or u?
j
Let s(n) = 12*n**2 + 22*n + 5. Let k be s(-10). Suppose -20*x - k - 1815 = 0. Is x at most as big as -141?
False
Suppose -3*r = -5*o + 5577, -4459 = -4*o + 34*r - 29*r. Which is smaller: 1111 or o?
1111
Suppose 66*y + 71*y + 139722 = 115*y. Is -12703/2 at least as big as y?
False
Suppose -6*g + 32 = 4*r - 2*g, 16 = 3*r + 5*g. Let w be 102/((-2)/(16/r)). Let x = -38 - w. Is 29 smaller than x?
True
Suppose 166*p = 159*p + 14. Suppose -p*q - 3*q - 2*q = 0. Let y be (-1)/(-3)*3/(-110). Which is bigger: q or y?
q
Suppose 0*f = 63*f - 7721 + 2114. Which is smaller: f or 92?
f
Let x = 1144711/54732461910 - 2/1039395. Is x greater than 1?
False
Let d be -2*1*(-4)/8. Let q be ((-11)/13 + d)/(297/(-54)). Which is smaller: 0 or q?
q
Let l(i) = -59*i + 123. Let s be l(-2). Let m = s - 240. Are -2/421 and m equal?
False
Suppose 5*r + 4*v + 47 = 0, -r = 2*v + 3*v + 1. Let n be (r - -17)*((-4)/(-10) - 0). Let o = 7 - 4. Is n less than o?
True
Let y(o) = o**3 + o**2 - 3*o + 2. Let s be y(2). Suppose 2*b - 20 = -3*b + 4*t, s = 2*b + 3*t. Let z be b/(-14) + 69/21. Which is greater: z or -6/11?
z
Let z be -3*5/(-60) + 63/(-28). Let o be -3 + (-62)/14 + (3 - z). Is o greater than -1?
False
Suppose -10*b + 21 = 1. Suppose -8*a + b - 2 = 0. Suppose 5*r = -3*i - 0*r, -3*i + 2*r = a. Is 1/43 equal to i?
False
Let n = 40.8 + -33. Let w = n + -5.8. Let r = 0.05 + -0.08. Which is bigger: r or w?
w
Let k be 433/505311*-33*2. Which is smaller: k or -1?
-1
Suppose -2*b - 38 = -p - b, b - 34 = -p. Let r be 4/p - 16/(-18). Is r < -2/55?
False
Suppose -2*a = -4*r + 6, -2*r - 57*a - 32 = -53*a. Which is bigger: -169/63 or r?
r
Let s = -1.317 - -0.187. Let x = s - -0.73. Are 5/4 and x equal?
False
Let j = 3358838/487 + -6897. Let s be 44/(-99) - (-85)/(-153). Is j at most s?
False
Suppose -5*a + w - 4*w - 7 = 0, -4*a = -4*w - 20. Let d be -1 + 4 - 0/a. Let q be ((-20)/d)/((-12)/18). Is q equal to 10?
True
Suppose 3*m + 19 = 7. Suppose 6*t - 16 = d + 9*t, -3*t = -3*d. Let v be 6/d + (-264)/48. Which is greater: m or v?
m
Suppose 256 = -2*t + b, -b - 49 = 4*t + 463. Let i be -2 - -3 - t/(-126). Let y(n) = -n**3 - 5*n**2 - 81*n - 225. Let m be y(-3). Which is greater: m or i?
m
Let c = 2119586/169 + -12542. Is c less than or equal to -0.1?
False
Suppose 4*x - 2 = -3*p + 1, -9 = -2*x + p. Suppose -k + x = 4. Let b be 5 + (-20)/4 + 7/35. Is k at least b?
False
Suppose 2*w - 801 = -731. Let o(d) = -d**2 + 16*d + 278. Let f be o(w). Do 1 and f have the same value?
False
Let d = 27/59 - 1095/2006. Suppose -7*g - 115 = -80. Let b be (-9)/g + 104/(-130). Which is smaller: d or b?
d
Let d = -1641 - -1637. Suppose -622 = 2*f - 4*g, -3*g - 9 = -6*g. Let c be ((-1835)/f - 2) + d. Which is greater: 0 or c?
c
Suppose r = 20 - 1. Let l = -15 + r. Suppose -3*c = -4*k - l, -k + 0*c = -5*c - 16. Is -9 greater than k?
False
Let y be 132 + 4*(5 + -6). Let s = y + -128. Is s at least -2/513?
True
Let s(d) = d + 16. Let a be s(-14). Suppose -8 = -4*f + 2*r - a, 0 = -2*f + 5*r + 7. Which is smaller: f or 27?
f
Let j = -767/18258 + 2/51. Let o(a) = -3*a**3 + 22*a**2 - 8*a + 8. Let l be o(7). Which is greater: j or l?
l
Suppose 251 = 2*t - 8*b + 3*b, -t = -3*b - 128. Let u = -23 - -23. Suppose u = -5*j + 58 - t. Are -10 and j equal?
False
Let k(a) = 170*a**2 + 7*a + 10. Let t be k(-4). Let h = 21577/8 - t. Let q = h - -281/56. Is q greater than 0.2?
False
Let f(k) = 11*k**2 - 66*k + 4. Let z(j) = 6*j**2 - 2*j - 2. Let m be z(-1). Let n be f(m). Which is greater: 11/4 or n?
n
Suppose 131 = s - 105. Suppose 2*p - 92 = c - 2*c, c = -5*p + s. Let q = p + -67. Which is smaller: -17 or q?
q
Suppose 5*v + 3*d - 25 = 0, -5*v = d + 49 - 64. Are v and 8/5 equal?
False
Let m(a) = -14*a - 70. Let r(d) = d**2 - 26*d - 125. Let j be r(30). Let q be m(j). Which is greater: q or 2/795?
2/795
Let b = 1499/5 + -10358/35. Let p(i) = i**3 + 4*i**2 + 2*i + 2. Let a be p(-3). Is a at most as big as b?
False
Let j = -31975 + 31976. Is 175 greater than or equal to j?
True
Let s = -1118/161 + 140/23. Let t be (-55)/4 - (-5 - (-119)/28). Is t >= s?
False
Let n = -4590.095 + 4590. Is n smaller than 4/19?
True
Let x = 821686/219 + -3752. Let i = -2 + 1. Is i greater than x?
False
Let v = -1178 + 1181. Let a(i) = -i**3 - 10*i**2 - 9*i + 1. Let s be a(-9). Suppose 0 = v*r + 4*q - q + 12, -4*r - q - s = 0. Which is smaller: 17/8 or r?
r
Suppose 0 = 4*a - 2*y - 56, 2*a = 5*a - y - 35. Let x = 27 - 1. Let d = -15 + x. Is a at most d?
True
Let i(c) be the second derivative of -c**3/6 - c**2/2 + c. Let y be i(-1). Let q be 1/(-1) - (-13)/(-8 + 18 + 2). Is y not equal to q?
True
Suppose 27274 = -10*d + 23304. Is -397 > d?
False
Suppose 0 = 75*y + 3 - 153. Suppose -k - 27 = -x, -31 = -4*k + 5*k - 3*x. Let h be y + (k/10 - 1). Which is greater: h or -1?
-1
Let a be 3*3 + (-2010)/3015*(-51)/(-4). Let y be 2/4 + 2/4. Which is smaller: y or a?
a
Let z be (-28)/(-21) + 82*420/9. Is z at most 3828?
True
Let a be 0 - (2 + 14/(-11)). Let r(b) = -35*b**2 + 3*b - 45. Let g be r(5). Let w = -906 - g. Is w != a?
True
Let i be 1/3 - (-48 + 24)/(-72). Is i equal to -2/6635?
False
Suppose 4*a - 23 = 3*n, 3*n + 29 = 2*a - 2*n. Let t be -2 + (12/(-8) - a). Let l = 35/6 + t. Which is smaller: l or -0.3?
-0.3
Suppose 0 = h - 6, 6*c + 2*h - 44 = -20. Which is greater: c or 120/41?
120/41
Let u be ((-632)/(-18))/(354/17523). Which is greater: u or 12158/7?
u
Let c = 446 + -438. Let t be 12/(-20) + 21/(-15). Let w be (-212)/c*-2*(-1 - t). Which is greater: 52 or w?
w
Let o = 42941/20 - 7629/4. Which is smaller: o or 241?
o
Let w = -13991 - -14005. Is w >= 132/13?
True
Let d = 176.206 - 0.206. Let v = d - 176.3. Which is smaller: -52 or v?
-52
Let v = 0.1014 + -1.1014. Which is greater: -548.9 or v?
v
Let p = -53 + 50.31. Let r = p - -157.69. Which is greater: r or 1?
r
Let p be (5 - 8)*3 + 10. Is 14/83 bigger than p?
False
Let p(l) = l + 13. Let s be p(-3). Suppose 4*i = 4*u + 12, -5*i + 2*u - 4 = -s. Let o = -626/25 + 25. Which is smaller: i or o?
o
Let g = -13298 - -13298. Is 1/7506 equal to g?
False
Suppose o + 3 = 2*g + 6*o, -3*g = 4*o - 1. Let s be 3/(-4) + (-27234)/136. Let a = s - -3014/15. Is a at most as big as g?
False
Let x(l) = 4*l**3 + 6*l**2 - 11*l - 12. Let n be x(-1). Which is smaller: -25005 or n?
-25005
Let g(w) = -w**2 + 6*w + 4. Let o be g(0). Suppose o - 64 = -6*x. Let t be 5/(x/(-2)) + 15/(-1). Is -17 greater than t?
False
Suppose 29*d + 65811 - 10072 = -18501. Which is smaller: -2561 or d?
-2561
Let b be 17463/13104 + ((-1)/4)/(51/272). Which is bigger: b or -1?
b
Let f = -15958 + 49852/3. Which is greater: 658 or f?
f
Suppose 3*p - 13 = 5*v, -v + 3*p - 5 = -0*p. Let t be (-6)/2 - (-7 + 5) - v. Let x = -63892/981 - -586/9. Are x and t nonequal?
True
Suppose -4*t + 4*u + 24 = -3*t, 3*u = -3*t - 3. Suppose -4*y - k = -41, 0 = t*y - 6*y + 2*k + 8. Let i be (0 + 1)/(1/10). Is y at most i?
True
Let p = 375614061/3122 - 120312. Which is bigger: 1 or p?
1
Suppose -i - 10*t = -14*t + 18, 6 = i + 4*t. Does i = -61?