
True
Suppose -2*g = 3*g + 15, 5*i - 11 = -3*g. Suppose 0 = -5*k + 5*t + 30, k - i*k = -4*t - 16. Suppose v - k = -2*y, -3*y - y + 8 = -2*v. Which is smaller: y or 1?
1
Let a = -59 - -60. Is 4/25 less than or equal to a?
True
Suppose -10 = -2*f, 5*j - 362 = 5*f + 793. Is j > 236?
False
Let j(g) = 2*g + 19. Let m be j(-10). Let a = 25574/75 + -341. Is a equal to m?
False
Let s = -5357 - -5356. Let k = -3 - -2.96. Which is smaller: k or s?
s
Suppose 6*x - 4*i + 90 = 0, i - 26 = 5*x + 42. Is 1 bigger than x?
True
Let r = -0.1957 - 0.8043. Which is greater: -40 or r?
r
Suppose -24*b + 29*b + 320 = 5*w, -2*w = 5*b + 334. Suppose -178 = 3*c + 20. Are b and c nonequal?
False
Let v = 87.82 - 87.88. Let m = -2 - -1.95. Is m not equal to v?
True
Suppose 31*f - 29*f = -q - 60, -3*f - 4*q = 85. Does -38 = f?
False
Suppose 5*y - 4*n - 257 = 68, -315 = -5*y + 2*n. Suppose -53 + y = 4*o. Is 6 at most o?
False
Let a be ((-6)/(-55))/(24/(-15)). Let l = 59/2156 + a. Is l < -1?
False
Let o = 347.9 + -348. Let j = 23.3 + -23. Which is bigger: o or j?
j
Suppose -v = -11 + 9. Suppose -5*a + a = 0, -v*p + 2*a - 6 = 0. Let j = -6/31 - -67/186. Which is bigger: j or p?
j
Let b be -21*(-1)/(-3)*-3. Let m be (-6)/21*b/27. Which is smaller: 0.1 or m?
m
Suppose r + 12 = -5*a, -4*a = -r + 8 - 2. Let n be (-312)/36*3/a. Let p be (2/(-6))/((-2)/78). Does p = n?
True
Let h be (-211)/(-1625) + (-4)/26. Which is greater: h or 1?
1
Let w(o) = o + 1. Let r be w(3). Suppose 0 = 5*i, 0 = r*n + 4*i - 1 - 19. Suppose n*x + 8 = -7. Which is bigger: -2 or x?
-2
Suppose 2*b = -3*u + 9, 8*b + 5*u - 28 = 9*b. Which is bigger: b or -2/105?
-2/105
Let p(k) = 7*k - 5. Let l be p(1). Let v be ((-1)/(-14))/(l/(-8)). Which is smaller: v or -2.7?
-2.7
Let d be (-315 - -311) + -1 + 1*299. Which is smaller: d or 293?
293
Let n = -0.28 + 0.03. Let q = n + 0.18. Is -1 greater than or equal to q?
False
Let f be 7/5*(-2328)/28. Let v = -6352/55 - f. Is 1 at least as big as v?
True
Let g be (8/(-24))/(10/(-18)). Let t = 429.1 + -429. Which is bigger: g or t?
g
Let k = -16/225 + 22/75. Do 5/192 and k have the same value?
False
Let s = 97 + -97. Which is bigger: 7/4 or s?
7/4
Let q be (8/20)/(1/10). Suppose -4*j + q = g - 0*g, -3*g = 3*j - 12. Let r = 11137/20 - 557. Which is smaller: r or j?
r
Let b = 3011084/58539 + -2006/39. Is b >= 0?
True
Let b(p) = -p**2 + 7*p - 2. Let w be b(5). Let l(y) = y**3 + 22*y**2 + 39*y - 11. Let r be l(-20). Let n = r - w. Which is greater: 2 or n?
2
Suppose -6*o + 4*o = 38. Suppose 5*r = 4*p - 0*p + 22, 0 = -2*p - 2*r - 2. Are p and o non-equal?
True
Let y = -287 + 286. Which is greater: -1/128 or y?
-1/128
Suppose -5*b + 3*b = -s + 51, 5*s + 70 = -3*b. Let j = b + 19. Suppose 2*m + 22 = -3*n + m, -5*n - 36 = 2*m. Is j < n?
False
Suppose v - 916 = -912. Is v equal to -71?
False
Let g = 106.02 - 106. Which is greater: g or 19?
19
Let w be ((-5 + 3)/(-4))/(22/(-44)). Are w and 3/26 nonequal?
True
Let s be (12/(-30) - 54/(-10))*3. Suppose 4*u = j - s, 2*u + 2*u = -j - 17. Which is bigger: 1/9 or j?
1/9
Let s = 1030 - 5169/5. Let x = -11 + 32/3. Which is smaller: x or s?
s
Let h(x) = x**2 + 9*x + 2. Let o be h(-9). Let l be o*4/((-8)/(-23)). Suppose 29 = 2*g + 5*c, 0 = 4*c - 1 + 13. Is g bigger than l?
False
Let s be (6/(-68))/(18/840). Let m = -747/136 - s. Are m and -1 nonequal?
True
Let g = 32 - 33.2. Let f = g + 0.7. Are -2 and f nonequal?
True
Let l(c) = 13*c - 1. Let g be l(4). Suppose -5*w + 4*d - g = 0, -2*d + 5 = w + 4. Which is smaller: -6/7 or w?
w
Let x be (((-195)/4)/5)/(9/144). Is x <= -158?
False
Let g(t) = -5*t - 38. Let o be g(-7). Let b be ((o - -7) + 2)*1/7. Which is bigger: 0.5 or b?
b
Suppose -4*p + 7 = -5*p. Let q(b) = b**2 - 15*b - 257. Let i be q(25). Is p > i?
False
Let b = 43 + -31. Suppose b*m - 97 - 23 = 0. Which is bigger: 9 or m?
m
Let d = 5/92633 + -259465088/1018963. Let w = d - -255. Which is bigger: 1 or w?
1
Suppose 4*n = -3*q - 26, q + 4*n = -10 - 12. Let r be q + 103/63 - 2/(-6). Which is smaller: 1 or r?
r
Suppose g = -u - 18 + 22, -4*u = g - 7. Is u bigger than -5/206?
True
Suppose 5*x + 40 = -0*x. Let k(n) = -n**3 + 4*n**2 - 4*n - 4. Let s be k(3). Is x > s?
False
Suppose 9*o - 5 = 4*o. Let p be (-8)/(-6)*(-15)/(-10). Let n be (-6)/45*(-9)/p. Is n at least as big as o?
False
Let r = 26/105 + -1/21. Let k = -30 + 35. Let z = k - 5.5. Is z greater than r?
False
Let w = -1277.1 + 1277. Which is smaller: -281 or w?
-281
Let q = -169 + 96. Let o = q - -81. Is 8 less than or equal to o?
True
Let w = 15.005 + -15. Let p = w - 5.155. Let z = p - -0.15. Is -2/5 < z?
False
Suppose 25*d = 2575 + 4425. Is d less than 281?
True
Let z be ((-1)/(-1))/((-1)/2). Suppose 0 = -3*h + 2*h. Suppose h = -2*f + 10, f = p - 2*p. Is p >= z?
False
Let t = 6.26 - 6.247. Is t bigger than -1.1?
True
Suppose -268 = 2*f - 10. Which is bigger: -134 or f?
f
Suppose -3*z - 4*i - 65 = 62, 2*z + 3*i + 84 = 0. Is z greater than -43?
False
Let b be (-205)/(-15) - 1/(-3). Let s be (3 + 8/(-2))*b. Is s bigger than -1?
False
Let m = -29 + 38. Suppose 2*t = 3 + m. Which is greater: 1 or t?
t
Let w(y) = y**2 + 7*y - 9. Let r be w(-8). Let a = -1244/8099 + 15/91. Are r and a unequal?
True
Let k = -0.12 + 0.08. Let i = 0.66 - k. Do i and 2 have the same value?
False
Let o be (8/18)/(2/(-3))*186. Let y = -123 - o. Is 1/3 greater than y?
False
Let w be (-60)/(-15)*(3/(-2))/(-3). Let h = 3 - 1. Let q = w - h. Is -2/23 at least q?
False
Let i = 743 - 769. Is -27 bigger than i?
False
Let h = 84/235 + 2/47. Let r = 4.752 - -1.248. Is h bigger than r?
False
Let m = -4 - -10. Let z be (-2)/m*(-10 + 4). Suppose -z*c + 6*c = 0. Is c smaller than -2/11?
False
Let p = 48 - 33. Suppose 2*a - 9 + p = 0. Let s = a + 2. Which is smaller: s or 2/33?
s
Suppose -1649 + 1715 = -c. Are -197/3 and c equal?
False
Let p = -9 - -8. Let y be -3 - ((4 - 1) + p). Let c = -8 - y. Is c greater than -1?
False
Let p(f) = 27*f + 406. Let a be p(-15). Are 13/11 and a equal?
False
Suppose 0*u + 2*w = 2*u + 434, -5*u = 4*w + 1094. Is -217 greater than u?
True
Let t = 4.9 - -48.1. Let m = t - 52.99. Does -3/7 = m?
False
Let z(o) = o**3 - 10*o**2 + 12*o - 12. Let n be z(9). Let v be (-70)/(-44) - n/10. Suppose 0 = a - 6*a + 5. Is a at most as big as v?
False
Let z be 1837/44 - (-3)/(-4). Suppose -4*r - 2 = -166. Is r bigger than z?
False
Let s be (2 + 0)/(-7 - (0 + -5)). Do s and -78/55 have the same value?
False
Suppose 7*b - 2*b + 20 = 6*k, -4*b + 4*k = 16. Is 8 less than b?
False
Let g = -27 + 45. Let u(h) = -15 - 16 + g + 0*h + h. Let x be u(11). Which is greater: x or -0.3?
-0.3
Let j = 1527.7 - 1528. Let q be (2/(-39))/(12/9). Which is greater: j or q?
q
Let j = 73.44 + -74. Let u = j + 0.66. Suppose -3*c + 2*c = -1. Does c = u?
False
Suppose 0 = 3*t - 745 - 1295. Let w = t + -4748/7. Which is smaller: w or 1?
1
Suppose 0*h = 5*h + p + 11, 3*h = 4*p - 25. Is -5/2 < h?
False
Suppose -5424 = 66*j - 50*j. Does -339 = j?
True
Let s be (-21)/(-9) + 1/(-3). Let v(d) be the third derivative of -d**4/6 + 2*d**3/3 - 7*d**2. Let o be v(s). Is -2 <= o?
False
Suppose 3*z + 46 = -5*x + 116, 2*x - 40 = -2*z. Let i be (-90)/(-33)*88/16. Is z at most as big as i?
True
Let f = 123 + -122. Let z = 53/95 - 3/19. Which is greater: z or f?
f
Let o = -1.6 + -24.4. Let w = -18 - o. Which is bigger: w or 0?
w
Let w be (-145)/((-20)/(-4))*-1. Which is smaller: w or 117/4?
w
Let o be (69/(-92))/(15/40). Suppose -2*b = -0*b - 8. Suppose 7 = a + b*z, -5*a - 2*z = -3*a - 2. Which is bigger: o or a?
a
Let i = -314.896 + 315. Do i and 0.1 have the same value?
False
Let x be -8 + (-2)/4*-806. Which is bigger: x or 394?
x
Let s = -112.8 + 112.75. Let o = -5.9 - -0.9. Is s at most o?
False
Let p be 6*-2*(-192)/(-3). Let s = p - -3827/5. Suppose 2*u + 2*d = 2, 5*u + 2 = 5*d - 43. Which is smaller: u or s?
u
Let z = 501 + -501. Is -111 < z?
True
Let d = -2288 + 2289. Let v = 14 - 28. Which is smaller: v or d?
v
Let x be (-4 + 6/4)*38/(-95). Let m = 2871/17 + -169. Which is bigger: m or x?
x
Suppose 5*i - 31 = -g, -8*g + 6*g + 2*i + 62 = 0. Is g at most as big as 29?
False
Let w = 483/155 + -78/31. Which is greater: w or 33?
33
Let d = 2690.074 + -2690. Is -2 greater than d?
False
Suppose -l - 251 = -5*i, -i + 4*l - 220 = -5*i. Suppose i = -2*