84 or p?
p
Let g(m) = m + 1. Let a be g(-2). Let n = 12 + -383/32. Which is smaller: a or n?
a
Let m = 0 - -0.09. Let b = m - -1.91. Let p be (2/6)/((-1)/(-3)). Is p less than or equal to b?
True
Suppose 3*t + 4 = 4*c + 4*t, 0 = -5*t - 20. Let f be (2/3)/(14/15). Which is smaller: c or f?
f
Suppose 0 = 4*i - 244 + 68. Let b = 307/7 - i. Let x(p) = -p. Let o be x(0). Is o less than b?
False
Let i(s) = s**2 + s - 1. Suppose -11 = -4*b - 3. Let c be i(b). Let r be ((-10)/c - -2)/2. Which is smaller: 2/87 or r?
r
Let z = 85.42 - 0.42. Let i = z + -85.1. Which is smaller: -9 or i?
-9
Let t = -92 - -91. Suppose 2*f + n - 81 = 0, -3*f + 5*n = -163 + 48. Is f not equal to t?
True
Let t = 0.0568 + -36.0568. Which is smaller: 15 or t?
t
Let h = 472 + -189. Which is bigger: h or 281?
h
Let o = 820 - 823. Suppose 0 = i - 0*i - 19. Suppose -5*l - 6 - i = 0. Is o > l?
True
Let f = -161 + 162. Let q = 96875342/99 - 978528. Let a = 94/9 - q. Which is smaller: f or a?
a
Let p(o) = -o**2 + 3*o + 2. Let t be p(8). Which is bigger: 5 or t?
5
Suppose 4*w = s + 4 + 2, 0 = -3*s - 3*w + 12. Let n be 2 + (50/(-6))/5. Are n and s nonequal?
True
Let p(d) = 7*d**2 + 3*d - 3. Let n be p(4). Let v = n + -1332/11. Suppose s + 49 - 48 = 0. Which is bigger: v or s?
v
Suppose 5 = 4*y + 1. Let t be 2/(-25) + 356/325 + -1. Which is smaller: t or y?
t
Let u be (-6)/(-5)*(0 - 5). Suppose -f = 5, 0 = -2*w + w + f + 11. Suppose -w*k + 49 = -13*k. Does k = u?
False
Suppose 0*b - 7 = b. Let g be (-106)/b + -2*1. Let c = g - 941/70. Which is bigger: c or -1?
c
Let t = -1059 + 37083/35. Let h = -4/5 + t. Is 1/5 less than h?
False
Let f be ((-8)/582*1)/((-114)/9). Is 0 at least f?
False
Let d = -952 - -953. Which is smaller: -5/117 or d?
-5/117
Let h = -313/4 + 83. Which is smaller: -0.2 or h?
-0.2
Suppose 2*r = -2*h - 3*r + 257, 2*r = -5*h + 590. Suppose h*b - 120*b = 24. Let t be -6 - (0 - 0 - -2). Which is greater: b or t?
b
Suppose z = 16 - 39. Let a = z - -23. Which is bigger: -7/8 or a?
a
Suppose 0 = 2*w - 8 + 20. Let t be ((-40)/(-24))/((-1)/(-3)). Suppose -p = -b - 3, -t*b - 5 = -2*p + 10. Which is smaller: b or w?
w
Let x = -76 - -529/7. Let i(g) = -g**3 - 46*g**2 - 132*g - 128. Let w be i(-43). Is x >= w?
False
Suppose -25 = r + 1. Which is smaller: -31 or r?
-31
Let y(k) = k**2 + 5*k - 15. Let b be y(-9). Suppose -b*m = -24*m + 12. Are 8 and m equal?
False
Let l = -1 - 2. Let k be (-1 - l/(-4))*-4. Let c be (23/((-414)/189))/(0 - 9/6). Is c > k?
False
Let i be (16/6)/(-4) + 2088/(-108). Which is bigger: -23 or i?
i
Suppose k = -6 + 2. Let s be -4 + k/((-8)/(-6)). Is -7 < s?
False
Suppose 0 = -5*t + 2*t + 4*a + 4, 2*t - 4 = 4*a. Suppose 3*s = f - 6, 5*s + 10 = -f + 3*f. Let m be ((-4)/16)/((-9)/s). Is t less than m?
False
Let x be 1/2*(5 + -3). Let p be -3*x/3*0. Let m = 0.7 + 0.3. Which is smaller: p or m?
p
Suppose 2*r = r. Let a be (r - -2)*1/2. Let n be 3/(-102)*(-6)/(-9). Which is bigger: n or a?
a
Let u(f) = -f - 1. Let l be u(-18). Let d(n) = -n**2 + 17*n + 1. Let r be d(l). Which is smaller: r or -1?
-1
Let a be (20/8)/((-16)/(-1888)). Which is smaller: a or 294?
294
Suppose -3*x + 21 = f, 2*x = 4*f + 7*x - 70. Suppose 22*j - 25*j + f = 0. Is j at most as big as -5?
False
Let a = 50192/19 - 2642. Suppose -5*z + 5 = 2*p, -4*z - 5 = 3*p - 9*z. Are a and p equal?
False
Suppose 5*w + 10 = 5*b, -w = 4*b + 1 + 1. Let c be 1 + -15 - (-10 + 7). Let u be (-1 + 3 - 1)/c. Which is smaller: u or b?
u
Let f be (-22)/(-14) + -1 + 241/(-42). Which is bigger: -2/3 or f?
-2/3
Let x = 0.0349 - 0.0349. Let c = 1 + -0.98. Is x less than or equal to c?
True
Suppose 5*q = -3*u + 14, 2*q = -u - 2 + 6. Is -2.1 less than or equal to u?
True
Let c be (-4)/13*117/52. Let n be (0/(-2))/(53 - 50). Is n equal to c?
False
Let z = 4.9 + -1.7. Let p = 3.1 - z. Let r = -0.9 + -6.1. Is p greater than r?
True
Let c be (-2464)/130 - (1428/(-156) + 9). Which is smaller: -19 or c?
-19
Let b = -2/2435 - -767/340900. Is b at most as big as 1?
True
Suppose 4*p + 11 + 1 = 0. Suppose -3*r + 13*r + 20 = 0. Let q be 69/(-27) - r*3/6. Which is smaller: q or p?
p
Let r = 260 - 186. Let y = r - 77. Is y > -18/11?
False
Let q = -37 - -26. Let s(c) = c**2 + 9*c - 7. Let r be s(q). Let f = r + -20. Are f and 2 equal?
False
Let m be (7 - 47460/6774)*(-20)/35. Which is smaller: m or -1?
-1
Suppose 0 = 17*d + 5*d - 264. Which is smaller: 51/4 or d?
d
Let g(j) = j**2 + 4*j + 1. Suppose 3*i + 15 = -2*i. Let c be g(i). Which is greater: c or -7?
c
Suppose -5*a + 4*v = -3, 4*a + v - 2*v + 2 = 0. Suppose -3*w - o = -0*o - 9, 0 = 2*o - 6. Suppose -d - 3 = -2*t, -w*d + 9 = 3*d - 2*t. Is d equal to a?
False
Let c be 231675/1575 - 4/42. Which is smaller: 145 or c?
145
Let i = 101/465 - 15/31. Is i at least -2/5?
True
Let b be ((-7967)/(-2658) + -3)*744/(-9). Let w = b + 2/443. Which is smaller: 4 or w?
w
Let u be ((-4)/(-5) - 1)/((-11)/2915). Is u greater than 53?
False
Let x(o) = -2*o + 56. Let r be x(34). Are r and -12 unequal?
False
Let r = 11.089 - -0.211. Let y = -1.7 - r. Let j = y - -12.9. Does j = 0?
False
Let t = 197 + -191. Let r be ((-2)/5)/(34/10). Is t < r?
False
Let w(d) = 5*d + 4. Let x be w(2). Suppose -17*n + x*n = -3. Is 1 smaller than n?
False
Suppose 13*k - 9 = 4. Do k and 29/40 have different values?
True
Let l = -0.0377 + -91.9623. Does 0 = l?
False
Let w = -40408/5229 - -10/747. Which is smaller: -9 or w?
-9
Let z = 14134/693 + -224/11. Is 0 at most as big as z?
True
Suppose 5*y + 79 = 2*f, -5*f + 52 = -4*y - 18. Let x(g) = -7 + 7 - 2*g. Let r be x(0). Is y less than or equal to r?
True
Let d(g) = -g**3 + 5*g**2 + 7*g - 5. Suppose 0*h + 3 = -2*h + 3*w, 4*h - w - 19 = 0. Let v be d(h). Let c = -7 + 7.3. Is c equal to v?
False
Suppose -2*m - 1 = -5. Suppose -7*f = -5*f - m. Is f != 2?
True
Suppose 4*u = -133 + 137. Is u >= -2/1005?
True
Let v = 9.2 - 8.2. Let f = -2.97 + -0.03. Which is bigger: v or f?
v
Suppose 4*q - y - 2248 = 0, 0 = -3*q + 4*q + 2*y - 553. Which is smaller: 562 or q?
q
Let x be ((-4)/3)/((-4)/(-6)). Let i be x*1/(-2) + 4. Let l be (i - 4)/((-69)/(-6)). Is l at least as big as 0?
True
Let g(o) = 3*o + 16. Let q be g(6). Suppose 4*k + 5 = -5*y - q, -23 = 3*y + 2*k. Which is greater: y or -23/3?
y
Let u = 2468 - 2507. Is u less than -42?
False
Let p = 4.24 + -3.6. Let n = p - 0.54. Does -6/7 = n?
False
Let p = -72.68 - -38.99. Let s = -34 - p. Which is smaller: -1/4 or s?
s
Let w = 302 + -303. Is 13/5 at most as big as w?
False
Suppose -24 = -37*r + 61*r. Which is greater: 7/52 or r?
7/52
Suppose 0 = t + 3*z - 20, -7*t + 3*z = -10*t + 84. Which is bigger: t or 31?
t
Let z = 5 + 19. Suppose -5046 + 896 = -166*c. Is z smaller than c?
True
Let z = 583/3 - 195. Is -2/999 bigger than z?
True
Let l(t) = t**3 - 14*t**2 + 23*t + 2. Let d be l(12). Let x be 11/((-5830)/(-288)) + 6/d. Which is bigger: 1 or x?
1
Let d = 24 + -24.13. Let w = d + -0.07. Let i = -11 - -9. Which is greater: i or w?
w
Let k(m) = -m**3 + 4*m**2 - 13*m + 5. Let d be k(6). Is -145 at most d?
True
Let z = -1315 + 1441. Which is greater: 2 or z?
z
Suppose -5*l + 8 = -3*l + j, 0 = -l - 4*j + 4. Suppose 3*z = -9, 12 = -l*p - 5*z - 39. Are p and -9 nonequal?
False
Suppose 0 = -17*w - 13*w. Is 1/102 < w?
False
Let n = -48 - -48.21. Let a = -2.79 - n. Which is greater: a or -0.9?
-0.9
Let d = 2 + -19. Suppose -39 = -2*o + g, 2*g - 58 = -7*o + 3*o. Let c = d + o. Which is smaller: -1/32 or c?
-1/32
Let q(p) = -9*p**2 + 17*p + 49. Let t be q(-6). Which is bigger: t or -378?
t
Let h = -6 + -1. Let c(f) = -f**2 - 6*f + 10. Let l be c(h). Suppose l*u - 15 = 0, -3*s = s - 2*u + 14. Are -1 and s nonequal?
False
Let g = -0.1 + 0.15. Let f = -0.85 + 0.7. Let c = f - g. Which is greater: c or -4/5?
c
Suppose -17*f - 18 = 101. Do f and -74/13 have different values?
True
Let q = 13 + -29. Let g(j) = -2*j**2 + 3. Let c be g(-3). Which is greater: c or q?
c
Let d be (-3)/4 - 209/(-220). Let w = -137/7 - -2315/119. Which is greater: d or w?
d
Let i(s) = -2*s**3 - 2*s**2 + 2*s - 2. Let t be i(2). Let c = t - -20. Let m be ((-3)/(1 - c))/3. Which is bigger: m or 1?
1
Suppose -q - 110 = 5*t, 5*q - 5*t + 877 = 207. Let p = q - -196. Is p bigger than 66?
False
Let z = 20 - 2. Suppose -4*h - g + 6*g = -z, 5*h = -4*g + 2. Let k be 55/(-132) + h/(-8). Whi