 4 = -7*a. Which is smaller: a or p?
p
Let o = 4.77 + -2.5. Let j = -1.73 - o. Which is greater: j or 23?
23
Let m(n) = -7*n - 11 - 8*n + 44 + n**2. Let y be m(10). Do -73/4 and y have the same value?
False
Suppose n - 88 = 5*q, 272*n - 275*n + 30 = -2*q. Is 1 greater than or equal to q?
True
Let v = -64 + 79. Suppose 0 = 7*m - v + 8. Is 11/10 != m?
True
Let q be 2*-2 + 0/5 - -6. Suppose 2*k = -q*k + 2*g + 148, -185 = -5*k - 2*g. Is 35 at least k?
False
Let f(t) = 64*t**2 + 11*t - 27. Let q be f(2). Is 1258/5 greater than q?
True
Let j = -150.11 + 149. Let b = j - 2.89. Is -39 not equal to b?
True
Let q = 293795 - 1768279/6. Is q less than or equal to -919?
False
Suppose 7*r - 2529 = -1920. Let g be ((-118)/(-100) + -1)*145/r. Is g less than or equal to 1?
True
Let b = 948 - 649. Suppose 5*r - b = 91. Let n = 131 - 52. Is r at most as big as n?
True
Let j = -1.8039 - -0.0439. Let n = j + 3.76. Is 345 at least n?
True
Let t(i) be the third derivative of i**6/120 + 7*i**5/30 - 19*i**4/12 - 11*i**3/2 + 3*i**2 + 1. Let h be t(-18). Which is greater: -646 or h?
h
Let d = 394 + -281. Let c = -187 + 300. Is c >= d?
True
Let c = -2661 + 3254. Which is smaller: c or 590?
590
Suppose 3*y = 2*m - 32, 5*m + 0*m = -y - 5. Let g be 5/y - (-1 - -1). Let v = 19.5 - 17.5. Which is smaller: g or v?
g
Let n(u) = -u**2 + 12*u - 30. Let v be n(8). Suppose v*w = 0, -29*q - 5*w = -24*q + 65. Which is greater: -180/13 or q?
q
Let w = 49042 + -49037. Let i = 20/9 - 271/126. Is i <= w?
True
Let s = 0.0461 - 0.0245. Which is smaller: 0 or s?
0
Let d = -490 - -51452/105. Suppose w + 4 = b, 2*b - w = 3*w + 14. Let p be 1*(b + -4 + 25 + -21). Which is greater: p or d?
p
Let d = 3578 + -533124/149. Is d not equal to 1?
True
Let z = -312711 + 312709. Let r = 8 - 9.6. Is z greater than r?
False
Suppose -6 = y, 33*l - 40 = 31*l + 5*y. Which is greater: 285/59 or l?
l
Let k = -70787/450 + 4134/25. Which is bigger: k or 8?
k
Suppose 117*g - 46*g = -126*g - 214336. Is -1088 less than or equal to g?
True
Let h = -5897 + 5896.7. Which is smaller: h or -135?
-135
Suppose 0 = -9*q + 17*q + 8. Let f be 5 + -2 + 2 + (-15876)/3164. Is q < f?
True
Let l = -22.84771 + -0.15229. Which is smaller: l or -453?
-453
Let q(v) = -3*v**2 + 10*v + 11. Let i(g) = -7*g**2 + 23*g + 21. Let z(w) = 2*i(w) - 5*q(w). Suppose -4 - 26 = -5*n. Let d be z(n). Which is smaller: d or 18/7?
d
Let s be (-44)/(-3)*(-3)/(-2). Let p be s/(-10) + (-4)/(-20). Let r = 3/20 - -87/220. Is p != r?
True
Let p = 51697.4 - 51697. Let l = -6.9 - -0.9. Which is smaller: l or p?
l
Suppose 110 = 20*l - 15*l. Let i = 14 - l. Let v be (44/i)/(3/(-6)). Is 11 > v?
False
Let k(h) = 4821*h - 458. Let v be k(1). Which is greater: 4364 or v?
4364
Let u be 2/21 + (1 - 79628/72660). Is -1 >= u?
False
Let y = 320 - 4162/13. Let c be 10/154 + (-63)/147. Is y less than or equal to c?
False
Let s = -7 - -11.5. Let j = s + -4.1. Let r = 1.5 + j. Is r != 1?
True
Let i be -20*24/40 + 15 + -2. Are i and 74 equal?
False
Let b(f) = -6*f + 158. Let k be b(27). Let c be 4 - ((-2)/k)/(3/18). Which is bigger: c or 27?
27
Let d = 0.0496 + -265.0496. Let f = d + 157. Let r = -110 - f. Which is greater: r or 0.12?
0.12
Let a = 224 + -187. Suppose -a*o - 1968 = -25*o. Is o >= -163?
False
Let p(t) = -t - 40. Let b be p(-5). Let h(a) = -3*a. Let y be h(-4). Let c be (y/245)/(-2 - 56/b). Is 1 less than c?
False
Let g be 22/5 + (-3)/(-5). Suppose -g*w = 4*a + 12, 3*a + w = 1 + 1. Suppose -3*y + 21 = -a*d - 2, -4*y = -d - 24. Which is greater: -3 or d?
-3
Let r = -49064/7 + 7016. Is r greater than 19?
False
Let d(f) = f**2 - 37*f - 3026. Let i be d(-42). Is 294 smaller than i?
False
Let d(r) = -82*r - 417. Let h(y) = 4*y + 34. Let j be h(-10). Let p be d(j). Is p at least 74?
True
Suppose 5*d + 115 = 5*k - 0*k, 0 = 2*k + 5*d - 32. Let l = 20 - k. Let q be (6/69)/(3/3). Which is bigger: l or q?
q
Let z = 0.011 + 2.709. Let f = z + 0.28. Let t = -2380 + 2398. Is f at least t?
False
Suppose -n - 49 = -2*r, 2*r - 5*r + 73 = -n. Let s be (-108)/r*8/(-3). Let x be (-18)/14*8/s. Is x > 1/4?
False
Suppose 0 = 6*d - 3*t - 249, -1833 + 1633 = -5*d + 5*t. Are d and 53 non-equal?
True
Suppose 5*c - 8 = -2*l + 4*l, -4*l = 3*c - 10. Which is smaller: l or 94/65?
l
Let o = -529 - -529. Let u = 102.74 + 2.26. Are u and o equal?
False
Let t(b) = -b**3 - 20*b**2 + 29*b + 12. Let s be t(-23). Which is bigger: s or 934?
934
Suppose 0 = 6*o - 2 - 4. Suppose -3*z + a + 2 = -z, 0 = z - a + o. Let m(y) = -y + 3. Let u be m(z). Is -3/8 greater than u?
False
Suppose -v - 1 - 21 = 0. Let m be (30/4)/((-11)/v). Let h = 163 + -163.2. Is m less than h?
False
Let g be (-3)/18 - 1138/72. Let b = g + 16. Let z be (-1)/(1*(-2)/2). Which is bigger: z or b?
z
Suppose -16 = 4*s + 4. Let p be 12 - 91/(-22)*-4. Is p > s?
True
Let n = -42 - -49.5. Let t = n - 63.5. Let u = -31 - t. Is u at most as big as -0.1?
False
Suppose 7*x - 12*x = -15, -3*k + 5*x - 8901 = 0. Is -2962 bigger than k?
False
Suppose -2 = -2*o, 3*t + o + 5 = 12. Suppose 5*f - 28 = -t*b - 11, 3*b = 4*f - 9. Suppose 3*s - 3*w = -5*w + 4, -f*s + 4*w - 8 = 0. Which is bigger: s or -13?
s
Let y = 2385 - 2385. Is -30/101 > y?
False
Let y = 2334.4 - 2334. Let h = -55 + 104. Which is greater: y or h?
h
Let y = -2/313438933493 - -7283568247498005689/373305769790163. Let b = y - 19511. Which is smaller: b or -1?
-1
Let m be (8 - -9) + -13 - 3. Let u be (0 + 0/1)/3. Suppose u = 3*f + 2*o + 59, -5*f + 4*o = -f + 72. Which is greater: m or f?
m
Let x be (-70)/80 - 71379/(-168). Is 1270/3 less than x?
True
Let m = 25 + -22. Suppose 7*w - 24 = -m. Suppose -3*p - 144 = w*p. Which is smaller: p or -23?
p
Suppose 3*y - 13 = 4*f - 0, 2*f + 2*y - 4 = 0. Let h be f + (2 - 1 - (-7)/(-7)). Suppose 5*b - 3*n = -6, -3*b + 6 = -b + 3*n. Which is greater: h or b?
b
Suppose -9*h + 6 = -48. Let v be h/(-12) - (-380)/24. Which is smaller: -0.2 or v?
-0.2
Let s = -3128 - -3053.52. Let j = s - -14.5. Let x = 60 + j. Which is smaller: x or 3?
x
Let p = 3802 + -3801. Which is smaller: p or 1/5135?
1/5135
Let q = -6 - 4. Let a be (-8)/(-2 + 4)*312/(-96). Suppose 2*v - 5 + a = 0. Is q != v?
True
Let a be 697/12*(-318)/236. Let m = 554/59 + a. Let w = -69 - m. Is w less than or equal to 1?
True
Let n be ((-90)/(-12) - 5)/(5/2). Which is smaller: 2/701 or n?
2/701
Suppose -r = 2*v - 1602, 16*r - 15*r + v - 1601 = 0. Let z = -1620 + r. Let s = 0 + -1. Which is greater: s or z?
s
Let r be ((-9)/(216/(-15)))/(10/4). Let v = -1.42 + 1.4. Let o = v + 0.05. Do o and r have different values?
True
Let n be (8/16)/(3 - (-2)/4228*-6343). Which is bigger: -1055 or n?
-1055
Suppose 0 = -592*l + 614*l + 44. Let v = -163/70 + -13/35. Is l >= v?
True
Suppose -3676 = 4*p + 260. Which is smaller: p or -983?
p
Let s = -7892 + 7729. Which is greater: -162 or s?
-162
Let h be 2/(-9)*(-3)/10. Let m = 65988 - 65988. Is m at least as big as h?
False
Let h be (3/(-2))/((-6)/(-16)). Let a be ((-132)/27)/(h/(-2)). Let g be -10 + -5 - 7/(42/(-72)). Which is smaller: a or g?
g
Let w = -2042 - -24553/12. Suppose 5894 = -s + 5899. Which is smaller: s or w?
w
Let f be 1 + (411/417 - 2). Let b = 222 + -234. Let m be (-2)/b - 168/144. Are f and m equal?
False
Let z = -176987167/1166 + 151790. Does z = 1?
False
Let n = -450669/1162 + 2715/7. Which is smaller: n or -1?
-1
Suppose 0 = 2*k - 204*k - 511 + 13843. Suppose -2*z + 198 = 62. Which is bigger: k or z?
z
Let i be 6/(-201)*(-21)/(-14). Let q = i + -195/134. Which is bigger: q or 0.06?
0.06
Let q = -10391 - -19327259/1860. Which is bigger: -1 or q?
q
Suppose 0 = -3*g + 224 - 59. Suppose 4*v + 2 - 14 = 0. Suppose v*a - g = -4*t, 3*t + 22 = 4*t - 2*a. Which is smaller: 61/4 or t?
61/4
Let q = 1 - -88.5. Let v = 90 - q. Which is smaller: v or 42?
v
Let z(w) = -3*w**3 + 44*w**2 + 13*w + 5. Let o be z(8). Which is bigger: o or 3?
o
Let b = 0.4 + 5.6. Let u = b - 4. Suppose -29*s = -14*s + 45. Is s less than u?
True
Suppose 5*x + 15 = q, -12*q + 5*x = -9*q - 45. Are q and 27 equal?
False
Let z be 1*2 + (6 - (2 - -3)). Let p be (-9)/z - 5/(-40)*21. Let q = -0.06 + 0.05. Is q at most p?
False
Let x(j) = -2*j**2 - 10*j + 6. Let a be x(-8). Let s be (318/a - -5)/(11/7). Which is smaller: -3 or s?
-3
Suppose -147*f + 1115 = -142*f. Suppose -3*q - 12 = d 