
Let j = -0.6513 - -523.6513. Is 5 < j?
True
Suppose 354*w = 385*w - 4619. Which is smaller: w or 147?
147
Suppose 0 = 5*q + a + 3680, -5*q + 17*a - 3660 = 14*a. Which is greater: -738 or q?
q
Let p = 2.3 + -2.4. Let c = -1131 + 982. Which is smaller: p or c?
c
Let f(b) = -b**2 + 9*b + 9. Let d be f(10). Let l = -34.75 + 33. Let o = l - -1.8. Is d < o?
True
Let c(g) = 7*g + 27. Let y be c(-1). Suppose 0 = 3*i - 15 + 6. Let z be (130/i)/2 + (0 - 3). Which is smaller: z or y?
z
Let c = 6.27 + -1.83. Let g = c - -68.56. Is -1 smaller than g?
True
Let p = -1889 + 2002. Which is smaller: 61 or p?
61
Let y(o) = 37*o**2 - 44*o - 686. Let x be y(-11). Which is bigger: 4273 or x?
x
Let i be 0 - ((-6)/(-21))/((-99)/(-42)). Let k(p) = 2*p - 4*p + 4 + p - 9. Let a be k(-6). Is i smaller than a?
True
Let s be (0 - (9 + -8))*-1. Which is bigger: -4/881 or s?
s
Let h be (-29900)/(-253) - -5*8/(-220). Is 707/6 at most as big as h?
True
Let x = -4643 - -3445. Is -1198 at least x?
True
Suppose -198*k = 218*k - 47836 - 8740. Which is smaller: -10 or k?
-10
Let t be (-507)/(-1183)*(-2)/2. Let o be 0/(1/1 + 0). Do o and t have different values?
True
Let r(l) = l + 3. Let i be r(-4). Let o be i/(-2) + 163*(-1)/10. Which is smaller: -16 or o?
-16
Let t be 25959/374 - 56/16. Which is smaller: t or 66?
t
Suppose 0 = 8*u - 5 - 3. Let z be u/(3/(-540)*-4). Let y be (30/(-35))/(z/(-42)). Is y not equal to 2?
True
Let l be ((-580)/275)/((-28)/(-8)). Let n = 6/11 + l. Suppose 5*g - 16*g = 11. Which is smaller: g or n?
g
Let s = -1.03 + 2.03. Suppose -2*p = 4*w - 10, 0*p - 4*p + 3*w = -9. Let h be 3/6*6 + p. Which is smaller: h or s?
s
Suppose 40 = -3*g + 46. Let s(v) = 8*v**2 + 16*v - v**3 - 1 - 24*v - g*v**2. Let a be s(4). Which is greater: a or -27?
a
Suppose 0*u + 2*u = 10. Let h(a) = -3*a**2 - 45*a + 4. Let z be h(-15). Suppose -u*f = -2 + 12, z*t + 5*f = -6. Is t less than -3/4?
False
Suppose 0 = 2*d + 455 + 475. Let x be (10/d)/(2/(-3)). Let l be (10/(-25))/((-320)/50 + 6). Is l less than x?
False
Let g = 39.924 + -2.034. Let b = g + -38. Which is smaller: 1/2 or b?
b
Let s = -63.09 - -63.11. Is 10/31 > s?
True
Let h = 6.417 + -0.067. Let b = h + -0.65. Let p = -33.7 + b. Do p and 1/3 have the same value?
False
Let q = -10 + -39. Let l = q - -21. Let o be -3 + 3 + -3 + l/(-6). Which is bigger: -1/4 or o?
o
Let g = 495159 - 495271.2254. Let q = 0.1254 + g. Let i = 112 + q. Which is bigger: i or -3?
i
Let y be (199 + -8)/(9/(-2) - -4). Is -379 less than or equal to y?
False
Let c be 0 + 0 - (-6)/(-6). Let y be -3 + 2700/(-425)*(-3)/6. Is c greater than y?
False
Let g(b) = 234*b + 7488. Let t be g(-32). Are 3/2183 and t equal?
False
Suppose -h + 28 = -3*z, 7*z - 6*z + 101 = 4*h. Suppose -2*a + 2*f - 3 = -63, -2*f - 27 = -a. Let v = 59 - a. Is h >= v?
False
Suppose -4*u = -2*u - y + 2, 2*u + 2*y = 4. Suppose u = 4*z + z + 15. Suppose 29*g - 3 + 61 = 0. Which is smaller: g or z?
z
Let s = -0.1 - -1.1. Suppose -6*f - 4 = -172. Suppose -19*j + 22*j + 184 = -5*y, -5*j = y + f. Is s at most y?
False
Let d = -6477 + 6685. Which is bigger: -2/37 or d?
d
Let f = 1.8419 + -0.8419. Does f = -1160?
False
Suppose 37*c - 3 = 32*c + 2*v, 2*c - 8*v = 30. Which is smaller: 39/901 or c?
c
Let q(b) = b**3 - 44*b**2 - 99*b - 13. Let r be q(46). Let u be (-2)/(-5)*(r/(-30) - -3). Are 6 and u nonequal?
True
Let r = 111 + -37. Let s = 0.114 - -1.886. Does s = r?
False
Suppose -a + 4*a + 30*a = 4686. Is 144 != a?
True
Let z = -743 + 170. Which is bigger: 0 or z?
0
Let q be (5 + -3)*-4 - 290. Is 2 <= q?
False
Let f = 8819 - 805. Which is smaller: 8016 or f?
f
Let g = -210194867/29 - -7248839. Let c = g + -740. Let f(v) = -v**3 + 6*v**2 - 7*v + 10. Let y be f(5). Which is greater: c or y?
c
Suppose 4*k + 2*j = -0*j + 110, 25 = 5*j. Suppose -14*g + g = 22*g - 840. Is g < k?
True
Let c = -40525009/91477989 - -4448/19969. Let l = c - 1/509. Is -46 > l?
False
Let j(f) = f**2 - 27*f + 26. Let u be j(26). Suppose u = 8*i - 20*i + 24. Is 20/7 at most i?
False
Let u(r) = -r**2 - 3*r + 7. Let g be u(-5). Suppose 4*q - 7 = 2*c - 7*c, -3*c - q = -7. Let a = g + c. Is 2 < a?
False
Let x(n) = n**3 + 27*n**2 - 29*n - 26. Let w be x(-28). Suppose 0 = w*c - 4*a - 116, 4*c - a = -c + 254. Are c and 49 unequal?
True
Let s = -23 - -120. Let v be 3 + (-2)/1 + (-103)/s. Is 1 equal to v?
False
Let s(v) = 2*v - 7*v + 5 + 3*v. Let m be s(-9). Let l = 20630 + -20607. Is l < m?
False
Let g(j) = j**2 + 24*j + 43. Let d be g(-11). Are d and 0 unequal?
True
Suppose 0 = -a + 2 - 10. Let f be (-23)/(-6) - a/6. Suppose 0 = n + 9*n - 50. Which is greater: n or f?
f
Let o = 1947 - 2128. Is -184 at most as big as o?
True
Let x(m) = -22*m - 134. Let p be x(-5). Let j be 1 + (-4)/p*0. Which is smaller: 185 or j?
j
Let z be ((-92)/(-33))/(2/(-6)). Let x be 200/510*-17 + (-2)/6. Which is smaller: z or x?
z
Let y = -380.28 - -407.82. Which is bigger: -0.4 or y?
y
Let n = -671 + 383. Let i = n - -312. Which is smaller: 2/3 or i?
2/3
Let k = -1618 - -1731. Is k less than -0.1?
False
Let m be 6/(-9)*(-4)/((-16)/30). Let a(c) = 2*c + 7. Let q be a(m). Let k be (-2 - q)*(-20)/(-4). Which is smaller: 40/9 or k?
40/9
Suppose -3*l - 4*f = -2*l + 18, 20 = -5*f. Let t be 57/1 - (l - -1)*-1. Suppose -4*q + 73 = -3*u, 2*u - q - t = 4*u. Which is smaller: -28 or u?
-28
Let v(g) = -197*g - 3153. Let w be v(-16). Do -1/6339 and w have the same value?
False
Let q be (-2 + 30/8 + -2)*0. Suppose q = 9*j + 1127 + 493. Which is smaller: -181 or j?
-181
Let r(m) = -m**2 + 2. Let s be r(-2). Let i(k) = 2*k**2 - 17*k + 53. Let x be i(9). Let a be x/11 - 644/92. Which is smaller: a or s?
s
Let k be (1 - (-4 + -4)) + 492/(-54). Is 373 at most k?
False
Suppose 3*b + 3*w + 378 = 0, 17*b - 19*b = 3*w + 255. Which is greater: -105 or b?
-105
Let f be 47233/28530 - (-2)/(-36). Let m be (-6)/(-9) - (-58)/(-30). Let r = -3/5 - m. Which is smaller: f or r?
r
Let u be ((-5)/3 - (-24)/24)/(4/(-6)). Which is bigger: u or -2/7815?
u
Let s be 2 + 8 + -7 - -33. Suppose -7*r - s = 461. Which is smaller: r or -279/4?
r
Let c be (6 + (3291/(-300) - -5))/((-27)/(-56)). Is c >= -1?
True
Suppose -3*x = 0, 2*a + 2*x + 1470 = -188. Which is smaller: -827 or a?
a
Let q = -3 - -3.1. Let j be (3980/140)/(1*(-1)/13). Let c = j + 370. Do q and c have the same value?
False
Let s = 3.0285 - 0.0285. Is s greater than or equal to 8/545?
True
Let i = -8992/5 - -1798. Which is greater: 130 or i?
130
Let b be (-2)/(-9) + 5/1800*-86. Let y be 0 + 1 + (-1 - 0). Suppose 4*j = 3*u - 15, u - 2*j = -y*u + 7. Is u less than or equal to b?
False
Let b be (0 + (-8)/36)/((-1)/9). Suppose -5*o + b*o = -384. Let h = 120 - o. Do -1/4 and h have different values?
True
Suppose 6*i + 64 = 38*i. Suppose d + 3*d - 72 = i*s, 0 = 4*s - 16. Is d bigger than 21?
False
Let o(q) = 28*q**2. Let u be o(1). Let y be 42/u*(0 - -2). Let d = y - -4. Do 39/7 and d have the same value?
False
Suppose 5*b = -4*a + 58, -a = -5*b - 0*a + 73. Let m be (0/b)/(1 + -3). Suppose -5*f + 10 = m, -3*u + 4*f - 67 = 5*f. Which is greater: u or -1?
-1
Suppose 7*y + 1197 = 1190. Let s be 2/2*4/(-4). Let i be (s/2)/(354/24). Is y smaller than i?
True
Suppose -5 = -0*a + 5*a, -2*v = -4*a - 58. Suppose -5*w + 12 = v. Let t be 2 + w*(5 - 4). Which is smaller: t or 1/18?
t
Suppose 3*q + 334 = -4*y, 9*y - 13*y - 5*q - 330 = 0. Which is smaller: y or -54?
y
Let q = -143.99 + 1089.99. Which is bigger: 1/2 or q?
q
Let u = -0.3 - -30.3. Let d = u + -24.1. Let a = d - 5.8. Which is bigger: 1/30 or a?
a
Let x = 224 + -37. Let f = x - 189. Is 5.6 greater than or equal to f?
True
Let c = 1633 + -1632.909. Which is smaller: c or 51/4?
c
Let k be (5 - -1) + 1 - 1 - 3. Suppose m - 4*m - 4*g = 21, 0 = k*m - 4*g - 3. Let t be (-44)/156 - (m - 32/(-12)). Which is bigger: t or 0?
t
Suppose -1581 + 309 = 6*q. Let h = q + 213. Let g = 1787/72 - 195/8. Which is greater: g or h?
h
Let c = 0.07 - 1.57. Let g = -941.5 - -948. Let n = c + g. Are n and 0.3 equal?
False
Let u = 73.2 - 89. Suppose -129*z + 38 = -91. Which is smaller: u or z?
u
Let h(m) = -12*m - 121. Let u be h(-13). Suppose -u*k - 40 = -30*k. Is 2 less than k?
False
Let g = 246 - 238. Let y be (g/6)/(278/(-12)). Does -1 = y?
False
Let u(q) = -2*q**2 + 127*q + 1074. Let g be u(52). Which is bigger