= 15, -148*c + 5*w = -146*c - 839. Are 406 and c non-equal?
True
Suppose 5*g - 5*k + 4*k = 23, -g - k + 1 = 0. Suppose 0 = g*m - 923 - 57. Suppose 0 = -f + 6*f - m. Do 49 and f have the same value?
True
Let b(n) = 345*n**2 + 125*n + 122. Let a be b(-1). Is a > 331?
True
Let c = 3610.3 - 3610. Is c bigger than 4609?
False
Let v = -909 - -1610. Is v at least as big as -9?
True
Let w(i) = 14*i**2 - 20*i + 144. Let l be w(6). Suppose -4*v + l = -26*v. Which is smaller: -99/4 or v?
-99/4
Let p be 1 + (1 - 1) + 3. Let n = 16 + p. Suppose 2*b - 2*j + n = 0, -5*b - 2*j - 7 - 22 = 0. Which is smaller: -5 or b?
b
Let d be 446/2250 + 6/(-27). Let u(h) = -353*h + 13413. Let n be u(38). Which is smaller: n or d?
n
Let m(t) = -159850*t + 799183. Let v be m(5). Suppose 2*s + 2*s + 580 = 0. Let g = 77 + s. Which is smaller: v or g?
g
Let u = -0.3 + 0.33. Let j = -14.03 + u. Let p = j - -14. Is -1/2 less than or equal to p?
True
Let r = -1679/1813 - -32/37. Suppose -236 = -197*g + 433*g. Which is bigger: r or g?
r
Suppose s + 2*f + 92 = 0, -4*s + f = -2*f + 335. Let b = s + 171/2. Suppose -y + 1 - 3 = 0. Is b smaller than y?
False
Suppose 0 = 3*n - 4*k - 4, 8*n - 8 = 6*n + 4*k. Which is smaller: -71/25 or n?
n
Let k = -3210.9 + 3211. Is -973/6 less than k?
True
Let n(f) = -9*f**2 - 44*f + 32. Let j(t) = -t**2 - t. Let k(u) = 6*j(u) - n(u). Let q be k(-13). Is q at most -27?
False
Suppose 3*y = 5*y - 2*b + 124, 244 = -4*y + 2*b. Let d be (2/(-9))/(y/135). Which is smaller: d or 18?
d
Suppose 0 = -32*m - 26*m + 674076. Is m less than 11622?
False
Suppose s = -37 - 12. Let x = s - -87. Let a(o) = -18*o - 106. Let c be a(-8). Is c less than or equal to x?
True
Let j = -146 + 141. Let g(w) = w - 7. Let t be g(j). Which is greater: 3/16 or t?
3/16
Let v be 7 + (-3)/404*(-28070)/(-30). Which is bigger: -1 or v?
v
Suppose 5*m - 11 - 109 = 0. Let r = -24 + m. Suppose 3*d + 3*d - 252 = r. Which is smaller: 43 or d?
d
Let x(d) = -16*d**2 + 4*d + 3. Let l be x(-1). Let w = -2540 - -2527. Which is greater: l or w?
w
Let d = -819 - -819.187. Let n = d + 0.213. Let p = -733/1743 + -2/249. Which is smaller: n or p?
p
Let f be ((-78)/221)/(13/((-117)/27)). Let u be (2/(-20))/(1/4). Which is bigger: u or f?
f
Let u be -1*33 - 0/(-7). Let d be 6/u - 26/(-22). Is d at least 1/400?
True
Let u be (-1 - -2) + (-3899 - 18/3). Let b be u/640 - (-6 + 0). Is 9 < b?
False
Let w be (1/(-8))/(2053/(-4)). Is w at least as big as 0?
True
Let m = 2.762 + -2.852. Are 29/3 and m equal?
False
Let n = 19292.92 - 19293. Are 12/5 and n non-equal?
True
Suppose -5*m - 240 = 4*v + 81, 0 = m - 5*v + 70. Let o = m - -68. Let n be (56/(-140))/(o/20). Which is smaller: n or 0?
n
Suppose -3*w - 15 = -4*t, w + 2*w = -3. Let j be 292/(-294) - (2 - 5)/t. Which is smaller: 0 or j?
0
Suppose 161*b = 187*b - 26. Is b smaller than 3/961?
False
Let y(i) = 2*i - 6. Let b be y(4). Let g be (12/20)/(4/(-22) - (-3528)/6336). Do g and b have different values?
True
Let q = -10458 - -10462.245. Which is smaller: 1/2 or q?
1/2
Suppose 0 = -2*s - d + 9, -s - 2*d = -d - 7. Suppose l + s*a = 5*l + 56, -3*l + 2*a - 40 = 0. Let v(u) = -2*u - 36. Let t be v(l). Which is smaller: t or -17/4?
-17/4
Let a = 3.23 + -3.1. Let p(d) = 2*d**2 + 11*d - 39. Let m be (2 - 6)/16 + 31/(-4). Let b be p(m). Is b <= a?
False
Let n be (-2)/20*(1 - 0). Let k(x) = -x**2 - 10*x + 6. Let l be k(-9). Let m be (1/(-2))/(l/(-6) - -2). Is n greater than m?
False
Let v = 1067 + -602. Let w = 75794/163 - v. Which is bigger: w or 0?
0
Let q = 121 - 117. Let d = 1554 + -1553.93. Is d bigger than q?
False
Let d(q) = -63*q**2 + 1009*q - 16. Let y be d(16). Let p = -0.21 + 0.405. Which is greater: p or y?
p
Suppose 2*u = -0*u + 3*k - 1490, 4*k + 3633 = -5*u. Which is smaller: u or 16?
u
Let b = 7 + -5. Suppose 0 = -y + 5*z - 7, -71*y = -69*y + 2*z + 62. Is b at least as big as y?
True
Let q = -8634 - -13206. Which is smaller: q or 4571?
4571
Let u be (-12 - (-4 - 10))*(-4)/(-6 - 2). Which is smaller: -2/1129 or u?
-2/1129
Let v = 8694 - 8694.9. Which is smaller: 26.4 or v?
v
Let n = 81 + -245/3. Let i(v) = 44*v + 148. Let q be i(-3). Suppose 53*k = q*k - 74. Are n and k non-equal?
True
Let n = 4877/5 - 4491757/4605. Is n less than or equal to 1?
True
Let f = 6888 + -7479. Is f smaller than -0.1?
True
Let s = -116672763202/7455 + 15650270. Let r = s - -2/71. Which is greater: r or 1?
1
Let x = 964/5 - 2882/15. Which is greater: x or -492?
x
Let t = 169314/51559 + -8/1097. Which is smaller: 3 or t?
3
Let u = 6.1 - 4.5. Let h = -0.04 + 0.24. Is h less than u?
True
Let l be (-52)/26 - (2 + (-3196)/784). Is -1 bigger than l?
False
Let i = 28223 - 28210. Is -1478 smaller than i?
True
Let i = 156.64 + -0.64. Which is smaller: i or -0.08?
-0.08
Let g = 14.062 - 2.062. Are -7/5 and g nonequal?
True
Let t(v) = -25*v**2 - 98*v + 476. Let f be t(4). Which is smaller: -324 or f?
-324
Suppose -31*y = -6*y + 1975. Let h = -79 - y. Which is smaller: h or 1?
h
Suppose j + 37 = -3*d + 38, j - 1 = 2*d. Is -57/260 greater than d?
False
Let n = -2013 - -2141. Is n at least 122?
True
Let p be 7/2 + (-7339)/2506. Is 100 less than or equal to p?
False
Let q = 316 - 277. Let j be 6/q*(-180)/(-18). Is j at most 1?
False
Let h(u) = -4*u**3 + 120*u**2 + 5*u - 18. Let s be h(20). Is 16081 != s?
True
Let q = 40198 + -884353/22. Let g(b) = b**3 - b. Let r be g(0). Is q < r?
False
Let n be (336/(-79))/(-2) + -514 + 512. Is n greater than or equal to -1/6?
True
Suppose 35*j + 112*j + 1860 = -4020. Suppose 184 = -5*b + 4*y - 53, -4*b = -y + 183. Which is greater: b or j?
j
Suppose 0 = -g + 31*g + 7380. Which is bigger: g or 3?
3
Suppose 4*h + 44 = -5*j, 7 = -h - 3*j + 3. Let i be h - ((-4)/(-2) + -3 - -3). Let u(g) = -10*g + 3. Let t be u(2). Which is smaller: i or t?
i
Let s be ((-3 - -1) + (-5 - -6))*0. Suppose s = 5*j + 4*q + 12 + 3, -q = -4*j + 9. Which is greater: j or -1/111?
j
Let c be 0/(7 + 2 + -2 + (-86 - -82)). Is -9/220 <= c?
True
Let g(q) be the first derivative of -q**5/10 + q**4/3 - q**3/2 - 18*q + 7. Let u(a) be the first derivative of g(a). Let c be u(2). Which is smaller: 0 or c?
c
Let r(f) = 22*f**2 + f - 2. Suppose 109*q = 103*q - 6. Let k be r(q). Is 12 at most k?
True
Let l = -0.14 + 0.34. Let j = 4996 - 4995.921. Which is smaller: l or j?
j
Suppose s - 4*w + 55 = 7, 0 = s + w + 23. Let v = -27 - -88. Let q = s + v. Is 32 bigger than q?
False
Let b = 7525 - 421403/56. Which is smaller: 0.3 or b?
b
Let f = -186858/13 + 14367. Suppose 101*i = -187*i - 437*i - 4350. Does i = f?
False
Let v(j) = -2*j + 1. Let x be v(1). Let b = 48299.08 + -48299. Is b > x?
True
Let h(k) = -31*k - 88. Let u(b) = b**2 + 9*b - 14. Let n be u(-10). Let t be h(n). Is 37 at least t?
True
Let k be ((-37205)/2020)/(-7) - (9 - (-165)/(-20)). Which is greater: k or 1?
k
Suppose -m = 5 - 10. Suppose 0 = 3*d - m*l - 201, -15 = 7*l - 2*l. Let r = d - -29. Which is smaller: 90 or r?
90
Let a be -19 + (19 - (5 + -6)). Is a at least -1/37658?
True
Suppose 190 = -7*t + 12*t. Let v = 15 - 5. Suppose v*n - 52 - t = 0. Is n < 11?
True
Let o(y) = 3*y**3 - 33*y**2 - y - 65. Let a(q) = 2*q**3 - 16*q**2 - 33. Let p(r) = -5*a(r) + 3*o(r). Let u be p(-19). Which is greater: u or 230/9?
u
Let u = -2294 + 57432/25. Is u bigger than -1/3?
True
Let s be 24/15*(-90)/(-36)*98. Let k be (s/(-12))/(-7)*(-255)/40. Which is smaller: -30 or k?
-30
Suppose 0 = 2*b - 3*u + 4, -2*u = -8 - 0. Suppose 6 = 2*o - 5*c - 14, -4*o + c = -b. Which is smaller: o or 4/5?
o
Suppose -15996 + 5821 = 11*v. Which is smaller: v or -4624/5?
v
Suppose 18 = -4*s - 6. Let g be (-2 - s)*507/6. Suppose g*i = 337*i - 1. Which is greater: i or 1/35?
1/35
Let m = -3661 - -4166. Which is smaller: m or -2?
-2
Let j = 2882 + -1253668/435. Let o(x) = 2*x**2 - x. Let c be o(1). Do j and c have different values?
True
Let c be (-834)/695*18/(-236). Which is bigger: c or 0?
c
Let a = 1 - 2. Let y = -48801 + 48956. Which is smaller: y or a?
a
Suppose 0 = -z + 2, 4212*y - 5*z - 14915 = 4207*y. Is y > 2986?
False
Let z be -6*3/(-54)*0. Let t be ((-100)/(-15) - 7)*(z + 0). Which is bigger: 2/709 or t?
2/709
Suppose -2*f = -5*h - 3699, -28*h + 3*f = -27*h + 732. Let y be (-114)/h + -1*(-428)/(-78). Suppose 0*n = 4*n + 24. Which is smaller: y or n?
n
Let w be (9*(