 Let g be x(-14). Suppose 0 = v - 5*n + g, 3*v + 1 + 24 = n. Do v and -10 have the same value?
False
Let l be 1*(702 + 1 - (-7 + 3)). Let j = l + -315. Are 392 and j equal?
True
Let y = -705.4 + 706.4. Let x be (-212)/330 - (-4)/10. Let p = x + 235/561. Is p less than or equal to y?
True
Let p be 3728/(-44)*4 - 2. Let u = p + 340. Suppose -4*h - 4*y + 9*y + 6 = 0, -h + 7 = -4*y. Are h and u equal?
False
Suppose -5*g + 370*m - 365*m = -2835, -3*g + 1736 = 4*m. Is 573 smaller than g?
False
Let c = -7114.5 - -7115. Let x = 0.4 - 3.4. Are c and x non-equal?
True
Let u = 29 - 14. Let n = -19 + u. Let h = 129/95 + -22/19. Which is smaller: h or n?
n
Let l = 107 + -65. Suppose 12*z = -0*z + 72. Suppose z*d - 4*d = l. Which is smaller: d or 20?
20
Suppose 5*l - 3*k + 17 = 0, -k - 4 = -5*l - 13. Is l less than -1/138?
True
Suppose -3*b - 4*z = -28, 8 = -4*b + b + 5*z. Suppose -a + b*y = 101, 0*a = -4*a - y - 336. Do -84 and a have the same value?
False
Let x be -3 + ((-30)/(-12))/((-5)/10). Let u be x*-5*(-9)/(-72). Which is smaller: 41/7 or u?
u
Let l = 21 - 129. Let q = l + 76. Which is bigger: -30 or q?
-30
Let o = 3953/481374 - 4/569. Let b = 5917/4230 + o. Let n be 3 - 2/(-4)*-4. Are n and b equal?
False
Let l be 0/(6 + 1) + 7*8. Suppose -38*p - 20 = l. Suppose x = -2*x. Which is smaller: p or x?
p
Let l = 0.35 - 11.35. Let d = 8.3 + -1.3. Which is greater: l or d?
d
Let r(y) = -y**3 - 11*y**2 + 27*y + 17. Let q be r(-13). Suppose 12 = k + 2*k, -q*f + k - 120 = 0. Which is bigger: f or -28?
-28
Let k = -6628 - -6838. Are -8 and k unequal?
True
Suppose -793*z = -816*z - 9752. Which is smaller: z or -418?
z
Let r(u) = -4*u - 8. Let n be r(-3). Suppose 11 = -3*d - g - 7, -3*d - 30 = 5*g. Let b be (n/6)/(d/6). Is 4 less than b?
False
Suppose 0 = 4*c - 3*u - 39, 28*u - 31*u + 15 = 5*c. Let m = 42 - 34. Which is bigger: c or m?
m
Let f be (135/10)/(4/8). Suppose 3*j = 2*d + 764, 5*j = f*d - 32*d - 1960. Which is bigger: -387 or d?
-387
Let v = 61.82 + 1.18. Let d = -316.2 - -379.5. Let o = v - d. Is o less than or equal to -0.18?
True
Let v be (-297)/(-18) + (-340)/20. Which is smaller: -21/131 or v?
v
Let x = -91 + 166. Suppose 6*z - z = x. Let y = -598 + 598.2. Which is smaller: z or y?
y
Let z = -3230.3 + 3232. Let r = -5 + 8. Is z at least r?
False
Let g be (-3989108)/(-4956) - (-12)/(-21). Which is bigger: 804 or g?
g
Suppose 0*y - 3*f - 1049 = -5*y, -4*y + 5*f = -847. Let k = y + 26. Let j be (k/(-116) + 12/6)/(-1). Is 0 at least as big as j?
False
Suppose -22*j + 24*j = -5*q - 1234, 4*q + 2516 = -4*j. Which is bigger: -636 or j?
-636
Suppose -5*v = -5*y - 15, 14 + 1 = y + 5*v. Let a = 1462257333/280 - 5222310. Let w = -188/5 + a. Which is greater: y or w?
w
Let z = 2032250/108277 - -2/8329. Let d = 19 - z. Which is smaller: d or 4?
d
Let o = -12643 - -14844. Are 6604/3 and o equal?
False
Let g be ((-109818)/135)/((-2)/(-9)). Let q = g - -3646. Do q and -16 have different values?
True
Let h = 53820/7 - 1029755/133. Which is bigger: -53 or h?
-53
Suppose p = -a + 1, -3*a = 3 + 3. Suppose -p*u + 17 = -5*d - 77, 54 = u + 4*d. Let o = u - 34. Is o > 7/2?
True
Let h be (-1947 - -53) + 10 + 6/(-2). Is -1889 bigger than h?
False
Let a be 4 - ((0 - 2) + 4). Suppose -2 = 2*o - 2*i, -o - a*o - 4*i + 32 = 0. Suppose 0 = -j - 4, -o*r + 0*r - 12 = 5*j. Is 2 less than r?
False
Let n be (-3 - 1) + 7 - 106. Let i = n - -138. Let w = i - 18. Which is bigger: 15 or w?
w
Let x = -17.64 + 0.64. Let m = 49 + x. Let f = 27 + m. Is 1/3 at least f?
False
Let i = 28376 - 28382. Which is greater: -3054 or i?
i
Let o(h) = h**2 - 11*h + 1. Let y be o(5). Let k = -147 - -150. Suppose 114 = -4*x - k*b, x - 10*b + 6*b = -38. Which is greater: y or x?
y
Suppose -29 = -8*q + 67. Suppose 0 = 4*k - q, -b - 216 = -2*k + 192. Let a be b/(-70) - 3/5. Which is bigger: a or 4?
a
Let v = -52 - -58. Let j be 8/v + (20/6)/5. Which is smaller: j or 26?
j
Let s be 345198/104 + (-21)/28. Let z = s + -3320. Suppose -13*c + 12*c = -2*h - 9, 5*c = -3*h - 33. Which is smaller: z or c?
c
Suppose 528 = 36*t + 5*t + 7*t. Is t < 3?
False
Let k = 230 + -130. Suppose -3*v - o - 13744 = -6*v, 2*o + 9168 = 2*v. Suppose v = x + 4481. Are x and k unequal?
True
Let t(c) = -274*c - 2740. Let u be t(-10). Which is greater: -1/53372 or u?
u
Let u(b) = b**2 + 4*b - 18. Let o be u(-7). Suppose o*i = -2*i - 3*i. Is i >= -97/5?
True
Let r = 181 - 363/2. Let o = -1412.68 + 1413. Is o at most r?
False
Let b(f) = -f**3 - 6*f**2 + 8*f + 46. Let w be b(-6). Let g be (-8266)/(-34) - w*(-4)/68. Are g and 243 equal?
True
Suppose -5*c - 105 = 5*n, -5*c - 217 + 98 = -2*n. Is c < -23?
False
Let j = 5275 - 9068. Is j smaller than -3794?
False
Let g = -350 - -309. Let q = 45.1 + g. Which is bigger: 0.1 or q?
q
Suppose 5*r - 3*g + 2655 = 0, 5*r = 37*g - 39*g - 2630. Which is bigger: -531 or r?
r
Let y be ((-1)/(2/(-78)))/(-1). Let r(v) = v**3 + 12*v**2 + 4*v + 10. Suppose -5*w - 120 = 5*w. Let g be r(w). Is g equal to y?
False
Let b be 12/18 + (-2026)/42. Let v(y) = -y**3 - y**2 - 22*y + 119. Let x be v(4). Which is smaller: x or b?
x
Suppose -h + 69 = -3*d + 2*h, h = -2. Let n be 16/6 - (4780/5975 - 806/(-30)). Is d at most as big as n?
True
Let f be 2/4*((-850)/70 + 12). Is f less than or equal to 2/3?
True
Let s = 1930 + -65625/34. Let c(u) = u**2 + 2*u - 3. Suppose -8 = 5*n + 7. Let w be c(n). Which is bigger: s or w?
w
Let w be (-65119)/(-306590) + (-4 - (-85)/25). Let p = w + 1/1978. Is p less than 1?
True
Let i = -193 - -303. Let n = -109.9 + i. Which is smaller: n or 7?
n
Let t = 9752 - 9760. Is -364/53 <= t?
False
Let c = 0.674 + -27.774. Let i = -3.47 - -30.47. Let f = i + c. Which is smaller: 25 or f?
f
Let b be (-66)/(-7)*154/22. Suppose 1306 = b*f - 2192. Is 55 equal to f?
False
Let k = -64014/5 - -12802. Is k at least as big as -1027?
True
Let x be 25 - ((-53248)/70)/(-32). Which is smaller: 0 or x?
0
Suppose -5 + 13 = -8*j + 16. Is -2/1319 >= j?
False
Let y be 5/30*-6*(-14)/(-171353). Is y < 0?
True
Let s = -274 + 301. Let n = s - -98. Which is smaller: n or -1/4?
-1/4
Suppose -3*x - 2*q + 55 = 38, -3*x + 25 = 4*q. Is 126/79 at least as big as x?
False
Suppose 5*o + 2296 = h, -h + 59*o + 2284 = 57*o. Is 2277 < h?
False
Let t be (-2)/(-9)*(-141)/(-235). Which is smaller: 2/7 or t?
t
Let m = 91 + -31. Let r = m + -36. Suppose 2*q - r = -28. Is q < -1?
True
Let k(t) = -10*t**2 + 3*t + 21. Let q be k(8). Is q equal to -596?
False
Let j be ((-186)/62)/((-2)/(-6)). Let i(c) = -c - 3. Let d be i(j). Is d smaller than -2?
False
Let j(d) = 123*d**2 - d. Let c be j(2). Let r = c + -4411/9. Is r > -8?
True
Let a = -46 - -48. Suppose 2*m - 2*i - 48 = 0, -a*i + 5*i = -2*m + 53. Which is greater: m or 73/3?
m
Let x(z) = -3 - 16*z + z**2 + 0*z - 8 + 30*z. Let l be x(-15). Suppose -5 + l = -c. Is 1 less than or equal to c?
True
Let g be 10 - ((-46728)/(-3953) - (2 + 0)). Which is smaller: g or -1?
-1
Let b = 561 + -975. Let w be (0 - b/24)*-4. Are w and -67 equal?
False
Let l = -48031/76 - -632. Suppose 2*w - 10 = 2*w + 10*w. Which is bigger: l or w?
l
Let r = -443 - -109. Let i = 318 + r. Which is bigger: -11 or i?
-11
Let v = -25 - -64. Suppose -v = -2*m + 7. Let j = m - 24. Is -2/15 bigger than j?
True
Let l be -267*(-2)/42 - (-4)/14. Let m = 14 + l. Let n = m - 24. Which is bigger: n or 5?
5
Let m = -0.11 - -0.02. Let k = -28769.75 + 28769.7. Which is bigger: k or m?
k
Let g = 1334 - 753. Let n = g + -6385/11. Let m = -3 + 4. Which is bigger: m or n?
m
Suppose -b - 2*l - 7 = 0, 2*b - 2*l + 0*l + 8 = 0. Let c(f) = 11*f**2 - 9*f - 8. Let y be c(b). Let h = 27146/87 - y. Which is greater: h or -1?
h
Let z(t) = -2. Let s(a) = a**2 - 8*a + 19. Let o(c) = s(c) + 4*z(c). Let l be o(6). Suppose -4*m = -4*d + 52, 4*d + m - 44 = 13. Which is bigger: l or d?
d
Let c = 40720503/569 + -71565. Is c less than -1?
False
Let j be (-142346)/(-8) + (-387)/172. Is j greater than 17792?
False
Suppose 3*a + 3*o - 711 = 0, -22*o + 27*o + 984 = 4*a. Does a = 210?
False
Let s be 3 + 0*(-2)/(-4). Let a(l) = 2*l**2 + l - 21. Let b be a(-4). Let u be (b/(-21))/((-8)/54). Is u at most as big as s?
True
Suppose -35*d + 22*d = 169. Let q(r) = -r**3 + 9*r**2 - 2. Let o = 4 - -5. Let s be q(o). Do s and d have the same value?
False
Suppose -22 = 36*q -