- -778520/117. Is -1/371 > t?
False
Let p be (0 + 2/(-4))/((-5)/280). Let x = p + -61. Let a = x + 15. Is a greater than or equal to -18?
True
Let x = -20.224 - -20. Let g = x + -1.276. Is g at least 1?
False
Suppose 136*t = 124*t - 6756 - 15828. Which is bigger: -1880 or t?
-1880
Let h = 1510779/485 + -3115. Which is bigger: 0 or h?
h
Let a(u) = u**2 - 7*u + 2. Let j be (-2)/4 - 30/(-4). Let f be a(j). Let l be (-188)/(-24) - (8 + 10 + -12). Is l >= f?
False
Suppose 0*m + 3*m = -18. Let a = -30 + 34. Let j be (34/(-10))/(18/120*a). Which is greater: j or m?
j
Let f = 78 + 181. Let j = f + -254. Which is bigger: -5 or j?
j
Let x = -48831637/1144 - -42685. Which is greater: 1 or x?
1
Suppose 77 = -13*f + 90*f. Which is smaller: f or 27/269?
27/269
Let f = 1261.9964 + 0.0036. Is -0.2 > f?
False
Let s = 87 + -59. Suppose 5*v + 0*v = -5. Let w be 2 - -27 - (1 - v). Is w equal to s?
False
Let l = 7258.1 + -8097.16. Let n = -839 - l. Are -1/4 and n non-equal?
True
Let t(x) = x**2 - 11*x - 10. Let n be t(12). Let r be -4*(-57)/n - -2. Suppose 5*f = f + r. Which is smaller: f or 30?
f
Let c = 17/122 - -3553/4270. Which is smaller: 1 or c?
c
Suppose 24*m + 3262 = 766. Let d = m + 104. Let f = -8556/59 - -145. Which is greater: f or d?
d
Let l = 19/54 + -1/54. Let n = 245 + -257. Which is bigger: n or l?
l
Suppose 0 = 3*j + 1 - 4. Suppose -5*m + 3*m = -4*u + 20, -3*m - 4*u + 10 = 0. Let t be (350/130)/7 + m/4. Which is greater: t or j?
j
Let b be (176/(-20))/(2 - 36/20). Let h be (b/(-55))/(18/20 + 1). Is h at most -1?
False
Let h be ((-10)/(-6))/((-18)/(-54)). Let v be 5/2*(1 + 1). Suppose -2*m - 10 = 3*o + h, -v = -4*m + o. Is 9/7 < m?
False
Let k = 5329 + -5364. Let m(h) = -2*h**2 + 5*h - 7. Let g be m(5). Which is bigger: k or g?
g
Let l = -312 + 348. Suppose -3*m + 2*w = 316, -2*w + 72 = -m - l. Which is bigger: m or -105?
m
Let v(t) = 2*t**3 + 7*t**2 - 7*t - 15. Let n be v(-4). Let z be (-482)/122 + (n - -7). Is z at most as big as 0?
False
Let o(t) = 2*t**2 + 82*t + 1547. Let b be o(-20). Which is greater: b or 708?
708
Let f = 64 - 58. Let x be (f/7)/((-117)/182). Which is greater: x or -1?
-1
Let v = -378645841 + 21106855119337/55743. Let l be ((-11)/33)/(28418/(-156)). Let x = l - v. Which is smaller: x or -1?
-1
Let x be (-7 - 232768/(-37540)) + 24/30. Which is smaller: -1 or x?
-1
Let y = -13/14 + 67/42. Suppose -4*g + 120 = 3*l, -7*g + 3*g = 0. Is y >= l?
False
Suppose 0 = 17*k - 5*k - 24. Let a = 85.2 + -103.2. Which is smaller: a or k?
a
Let g = -8923 + 8922.401. Is -0.1 < g?
False
Let f = -0.01 - -8.01. Let s = 9 - f. Let k = 6.144 + -0.144. Is s greater than k?
False
Let z = -170.9 + 170.2. Let i be 56/66 - 2/3. Is z smaller than i?
True
Let s be (-630)/4*25992/(-6270). Does 653 = s?
False
Let y(x) = -x**2 - 73*x - 382. Let s be y(-68). Is s greater than 7?
False
Suppose w + 2*v - 10 = -w, -3*v + 25 = 5*w. Suppose w*m + 3*z + 15 = 6*m, -m + 9 = 3*z. Suppose 306 - 30 = -m*x. Which is bigger: x or -1?
-1
Let k be 9/(-3) + (1 - 1). Let u = 204 - 212. Let t be ((u/(-15))/((-1)/k))/(-2). Is t at most as big as -1/5?
True
Let n = 3.4828 - -0.3352. Let c = -0.182 - n. Which is smaller: c or -3/10?
c
Suppose 0 = 2*h + 39 - 75. Let d be (20/h)/(1 + 12/(-9)). Is d at least as big as -4?
True
Let v(w) = 12*w + 38. Let d(h) = -9*h - 41. Let m be d(-4). Let y be v(m). Suppose 0 = 3*a - 2*u + 66, 5*u + 17 = -a - 5. Are y and a equal?
True
Let n(x) = -20*x - 41. Let t be n(-3). Suppose -t*p = p + 1100. Which is smaller: p or -53?
p
Let i = 68.49 + -421.59. Let n = i - -353. Are -26/7 and n equal?
False
Let q = 0.4984 - 0.4984. Which is greater: q or -331?
q
Suppose -2*c = -3*t + 341, -t + 717 = -4*c - 2*t. Suppose -b - 4*w + 3*w - 182 = 0, b - w + 172 = 0. Which is smaller: c or b?
c
Let s = 12322 - 12320. Which is bigger: -1 or s?
s
Suppose 44*q = 37*q + 1001. Is q at most 140?
False
Let y be 6*(30/(-4))/3. Let z = 35287 - 35287.8. Which is smaller: z or y?
y
Suppose -10*j - 1128 = -13*j. Let v = -375 + j. Is v less than -0.43?
False
Suppose 7*a + 3 = -i + 5*a, -a = -2*i - 6. Let z be 1 + (-10)/20*(-2)/11. Are z and i nonequal?
True
Let b = 5841/13282 - 2/229. Is 1 bigger than b?
True
Let f be (2 - (-4 + 9))*19/3. Let p be ((-4)/5)/((-2)/10). Suppose -w + 3*z = -2*w - 11, 52 = -2*w + p*z. Which is greater: f or w?
f
Suppose 2*i + 218 - 172 = 0. Let n be (-77)/11 - i/4. Which is greater: -1 or n?
-1
Let g(n) = n**2 + 12*n + 8. Let f be g(-11). Suppose -7*x = -105 - 14. Suppose 1 = -3*i + r - x, 0 = -5*r. Is f not equal to i?
True
Let w(d) = 6*d**2 + 85*d - 100. Let m be w(-30). Is 2749 > m?
False
Let g = 13 - 31. Let t be (g/10)/(1/5). Let j(b) = -b**3 + 14*b**2 + 14*b + 9. Let a be j(15). Are a and t equal?
False
Let y(l) = l + 34. Let h(o) be the third derivative of -o**5/60 - o**4/12 - 7*o**3/6 + 2*o**2. Let j be h(-6). Let n be y(j). Which is smaller: 8 or n?
n
Let q = -38/11 - -421/55. Let g(s) = 3*s**2 + 88*s - 58. Let u be g(-30). Suppose -2*n = 4*c - u, 5*c - 10 = -2*n - 9. Which is bigger: n or q?
q
Let f = -0.48 - -24.48. Let u = -38 - -8. Let i = 31 + u. Are i and f equal?
False
Suppose 72 = -54*l + 180. Suppose -3*o - 2*v = -8, -l*o = -2*v + 6 - 8. Suppose -h - p - 10 = 0, 2*p = -h + 3*h + 20. Does h = o?
False
Suppose 138 = -13*i + 125. Which is smaller: 1/5594 or i?
i
Let s = 878 + -1535. Which is greater: -645 or s?
-645
Suppose 17*d - 8*d = -450. Let u be 60/d - 2224/30. Which is bigger: u or -76?
u
Let q = -0.3 + -0.1. Let t = 1449/877 - 4795146/2610829. Let z = t - -7/229. Is z < q?
False
Suppose o - 203 + 13 = 3*i, i + 40 = -3*o. Does -52 = i?
False
Let h be (189/126)/((-2)/(-172)). Suppose -4*c - 3*u = 134, 5*u = 4*c + h + 21. Is c >= -32?
False
Let r = -19352 + 9355. Which is bigger: r or -9998?
r
Let v be 203/(-56) - (-2 + 11)/3. Let i = 27/4 + v. Is -0.8 equal to i?
False
Suppose -21 = 15*f - 141. Let h be f/(6/30*10/(-3)). Which is smaller: -9 or h?
h
Suppose 0 = -5*u - 35, 5*u = -t + 39 + 16. Is t > 81?
True
Let r(u) = -u**3 + 17*u**2 - 4*u - 215. Let d be r(15). Which is bigger: 1223/7 or d?
d
Let g(u) = -u**2 - 51*u - 645. Let b be g(-23). Let q = 210/1139 + -5/134. Which is smaller: b or q?
b
Let h = -17169.8 + 17171. Is h != -1/8?
True
Let c = 0 + -7. Let r = 322 - 340. Let w be (-24)/r + (-464)/60. Which is bigger: w or c?
w
Let u = -1.51 - -1.41. Let k be (-276)/209*(-3)/(-27). Let b = 2/57 - k. Which is smaller: u or b?
u
Suppose 0 = 3*y - 3*f - 410 - 181, -4*f = -8. Suppose -967 + y = -8*k. Suppose 3*t = 2*d + 44 - 219, 4*d - 355 = 5*t. Is k at least d?
True
Let t = -237 + 2609/11. Suppose 4*h - 5*z = -z - 4, 0 = 3*h - 4*z + 4. Suppose h*w - 4*w = 4. Which is smaller: w or t?
w
Suppose 4*g + 4*l - 20 = 0, 3*g = -5*l + 14 + 11. Let c be (2 + 1*-4)*-4 + 2. Let n be (-52)/100 - (-6)/c. Do n and g have the same value?
False
Suppose -45*a = -47*a + n - 8, -3*n = 2*a - 16. Is a at least as big as 2/1473?
False
Let q = -699.1 + 328. Let a = 371 + q. Which is greater: a or 0.154?
0.154
Suppose -2*m + m - 3*l = -44, 3*l = -12. Suppose 141*o + m = 139*o. Is o less than -26?
True
Let q = 313.8 + -308.2. Which is smaller: q or -21?
-21
Let h be (-1196)/946*(35/63 + -1). Let n = -3/473 + h. Which is smaller: n or 2?
n
Let x be (-586)/10 - -55 - (-3 + -1 + 0). Is x equal to -8/39?
False
Let t = -63 + 62. Let v be (0 + 0)/((-20)/((-10)/t)). Let m be 8/104 - 0/(-1). Which is bigger: m or v?
m
Let y = -2798 - -2796. Let s = 3.28 - -0.22. Is y < s?
True
Suppose 36*x = 38*x + 186. Let m(y) = -y**2 + 33*y - 364. Let s be m(16). Is s at most as big as x?
False
Suppose 175 = 4*g + g. Let a = g - 25. Let m(y) = -y**3 - y**2 + 3*y + 1. Let x be m(-3). Is a <= x?
True
Suppose j = -482 - 184. Let w = j + 676. Which is smaller: w or 9?
9
Let g = 98 + -50. Let x = g + -145/3. Let c = 11 + -12. Do x and c have the same value?
False
Let t = -6 + 6. Let y be 10/16*-4*12/2715. Is t bigger than y?
True
Let a = 133 - 131. Suppose -l - a + 3 = 0. Let c be 1/9*(-12)/(-5). Is l at most c?
False
Suppose -5*j + h = 8, -3*j + 29*h - 12 = 26*h. Let f be ((-9)/(-12))/(134/(-4)). Which is smaller: f or j?
j
Let z = -23 - -25. Suppose 7 + 5 = z*s. Suppose -2*f + 4 - s = 0. Which is bigger: f or -5/6?
-5/6
Let f = 1757009/135 + -13015. Let n = f - 2099/135. 