uppose 0*b = 2*j - 3*b + 19, -t = 3*j + 2*b. Which is greater: d or j?
d
Let b = 46/59 - 480/767. Which is smaller: b or -1.94?
-1.94
Suppose 5*d - d + y + 55 = 0, -2*d = -2*y + 40. Let c be 35/d - -3 - (-1)/(-6). Is 1/15 equal to c?
False
Let g = 31 - 26. Suppose -9 = -g*r + 16. Is 48/13 > r?
False
Suppose 7*o = 4*o + 210. Suppose -6*z + z = -o. Let r be (4/(-30))/(z/(-21)). Is r at least as big as 5?
False
Suppose -2*h + 2*q - 10 + 26 = 0, -h = 2*q + 4. Suppose -h*i = -0*i + 32. Which is smaller: -7 or i?
i
Suppose 0 = 4*u - f + 194, -u + 7*f = 3*f + 41. Let v = u + 71. Which is bigger: 21 or v?
v
Let t(u) = -2*u - 7 + 6*u - 2*u - 3*u. Let q be t(-7). Let d be (9/57)/((-3)/6*-3). Which is bigger: d or q?
d
Let g = -14 + 35. Let o be -2 + 1 - g/28. Let a(i) = 5*i**2 - 129*i - 28. Let x be a(26). Are x and o non-equal?
True
Let y(p) = 19*p - 1. Let r be y(3). Which is greater: r or 3?
r
Let i be 3 + (-4 - -3)*0. Let f be 0 - i - (8 + -16). Suppose -f*d = -d. Is d smaller than 0?
False
Let p be (-3)/2*(1 - -5). Let q(z) = 2*z**2 + 11*z + 1. Let w be q(p). Suppose -3*d - 3*a - w = -a, 2*d = 3*a - 34. Which is greater: d or -21?
d
Let r(l) = -l - 14. Let q be r(-15). Let j be (q - (1 + -3)) + 3. Which is bigger: j or 5?
j
Let t = 28 + -28. Let b be (-1)/((-4)/4) - t. Let y be ((-4)/54)/((-2)/24). Which is bigger: y or b?
b
Let d(o) = 5*o**3 - 3*o**2 + 7*o + 7. Let r be d(3). Which is greater: 137 or r?
137
Let s(g) = 50*g - 38. Let a be s(2). Do 184/3 and a have different values?
True
Let y(a) = -a**3 + 6*a**2 - 4*a + 3. Let g be y(2). Let w(u) = -u**3 + 12*u**2 - 12*u - 13. Let o be w(g). Is o smaller than -25?
False
Let w = -78 - -75. Let k be (-1 - w)/((-21)/7). Which is bigger: k or 2/17?
2/17
Let j = -57 - -60. Let q(z) = 4*z**2 + 4*z + 1. Let u be q(j). Is 48 <= u?
True
Let h = 344081/170 - 2024. Which is bigger: h or -1?
h
Let s be (15/9)/((-3)/(-9)). Suppose 5*b = 15, -364 = 4*f + s*b - 107. Do -68 and f have the same value?
True
Let m(z) = -z**3 - 6*z**2 - 5*z + 4. Let h be m(-4). Let d be ((-4)/(-5))/(h/(-60)). Let f be (-80)/d + (-8)/12. Is f smaller than -13?
True
Suppose -14 = 2*m - 2*z, -2*m - 2*z - 24 = z. Which is smaller: 3.9 or m?
m
Let a = -13 + 10. Let u = a + 13. Let g = u + -10.09. Which is greater: g or 1/4?
1/4
Suppose -c + 1 = -5*h, -3*h - 4*c - 4 - 15 = 0. Let b = 61/276 - -9/46. Is b at least h?
True
Suppose 6*m + 0*m + 12 = 0. Let t be -2 - (-5 - m) - 26. Which is greater: -23 or t?
-23
Let k be (26/(-7) + 4)*119. Suppose 4*q = -5*x + k, 0 = 4*x + 3*q - 27. Is x smaller than 6?
False
Suppose -o = -4*o + h - 13, 2*o - 2 = -2*h. Let w be (-45)/10*(-4)/6. Let f be 4*-1*w/6. Which is bigger: f or o?
f
Let n = 13746 + -1250934/91. Let x = n - -5/13. Let w = x - 3/28. Is w less than or equal to 0?
True
Suppose -f + 5 = l, 20 = -l - 0*f + 4*f. Suppose -i = -l*i + 18. Is i bigger than -18?
False
Let u = 22 - -23. Let i = u - 4634/103. Which is greater: 1 or i?
1
Let x = 0.0404 - -15.9096. Let o = -4.54 - -20.54. Let j = x - o. Which is smaller: j or 0.2?
j
Let m = 42.1 - 40. Let o = m + -2. Let p = -1.9 - -2.6. Which is greater: o or p?
p
Let m = -2 + 7. Suppose -46 = -2*l + 100. Let t = 76 - l. Are m and t equal?
False
Suppose 3*c + 5*n = 10, -2*n + 6 = 2. Let q be -3 + 3864/972 + -1 + 0. Which is smaller: q or c?
q
Let b = -12 - -10. Let t be (48/28 + b)/(-2). Suppose -3*s + 0*s = -2*m - 4, -2*s + 6 = 2*m. Is t smaller than m?
True
Let b = 53 - 32. Suppose 6*y = -b - 39. Do -14 and y have the same value?
False
Let r(o) = -o**2 + 5*o + 6. Let h be r(-2). Let x be ((-26)/(-16))/(1*6/h). Is x smaller than -1?
True
Let r(q) = 7*q + 28. Let y be r(-4). Which is smaller: -1/26 or y?
-1/26
Suppose -5*c = -0*c + d + 275, 3*d = 2*c + 93. Let t = c - -38. Is t less than -16?
False
Let w = -58 + 61. Is 34/13 bigger than w?
False
Let j = -62 - -71. Which is smaller: 0.6 or j?
0.6
Let m = 0.11 + -0.1. Let i = 71 - 55.9. Let x = 15 - i. Is m greater than x?
True
Let a be 6/(-190)*(162/(-243) + (-13)/3). Suppose 0 = 6*n - n. Is a at least as big as n?
True
Let j = -1730/3 - -571. Suppose 64 = -12*w - 4*s, 6*w + 4*s = w - 29. Which is greater: w or j?
w
Let m = 2 - 1. Suppose -2*v - m + 3 = 0. Let q = -3/482 + 128/1205. Which is bigger: v or q?
v
Let q = 0.37 + -29.37. Is -4/5 > q?
True
Let z be 20*(-360)/54*12/(-50). Which is greater: 28 or z?
z
Suppose q + 4*z - 31 = -0*q, -z = 5*q - 79. Let b(r) = -r**3 - r**2 + 2*r - 3. Let w be b(-3). Let v be (-2)/w*3/q. Which is smaller: 0 or v?
v
Let b be 2/(-4)*(-16)/(-2). Suppose -5*z - 40 = 20. Let k be b*4*z/(-64). Is k >= -4?
True
Let o = -1080503 - -567264356/525. Let m = -11/25 + o. Which is bigger: m or 3/4?
3/4
Let b = -19 + 4. Let h be (6/b)/(1/15). Let l be -1 + -3 + h/(-2). Which is greater: l or -3/8?
-3/8
Suppose 5*q + 11 = -14. Let i = -45 - -21. Let t = i + 20. Is q less than t?
True
Let z be -2*(-236)/(-40) - 124/(-155). Which is greater: z or -26?
z
Suppose 4*v - 34 = -10. Suppose -v*j = -5*j + 2. Is j < -4?
False
Let t = 0.005 + 0.185. Let v = -0.09 + t. Which is bigger: v or 0.18?
0.18
Let f = 12.15 + -10.15. Is 352 at most as big as f?
False
Let j(v) be the first derivative of -v**4/4 + v**3 + 3*v**2 - 6*v - 12. Let w be j(4). Let n = 2/225 + 373/225. Does n = w?
False
Let v(h) = -69*h. Let s be v(-1). Is s < -3?
False
Let f(d) = d**3 - 18*d**2 - 19*d + 1. Let n be f(19). Which is bigger: 5/3 or n?
5/3
Let x = 299 - 265. Let j be (-2)/5 - 1406/(-40). Let d = j - x. Do d and 1/3 have the same value?
False
Let m(q) = -q**3 - 6*q**2 - 6*q + 9. Let c be m(-4). Is c greater than or equal to 2/49?
True
Let i = 2649 + -2605. Is i at least 55?
False
Let d be (51 - -3)*9/((-135)/10). Is -38 less than d?
True
Let o be (-2)/186*(-11)/(22/(-12)). Is 0 equal to o?
False
Let z be 2/(-8) + (-1)/(-4). Let p = 83694/49 - 1708. Which is smaller: p or z?
z
Let g be -19 - 5 - (-1 - (3 - 0)). Which is bigger: g or 6?
6
Let f(i) = 23*i - 31. Let n be f(7). Which is greater: n or 127?
n
Let y be 471/9 + 4/6. Let b be (-17)/(-34) + 206/4. Which is smaller: b or y?
b
Let v be (3/(-12))/(1/(-4)). Suppose 0*f - f + v = 0. Are 1/16 and f unequal?
True
Let o = -1.7 - -14.7. Suppose 2*w + 4*g + 11 = -7, 5 = -g. Which is smaller: w or o?
w
Let v = -0.3 - -4.3. Let p = 78 + -99. Let z = p - -23. Is z at most as big as v?
True
Let q be (26 - 23)/((-31)/2 - -2). Which is smaller: 3/125 or q?
q
Let k = 7 + 18. Suppose 2*f = -3*f - k. Let g be (-8 - f)/((-21)/(-4)). Do g and 0 have the same value?
False
Suppose -2 = -5*c + 3. Let q = 737/9 + -82. Let f = 7/99 - q. Which is greater: c or f?
c
Suppose -9*x = -124 - 56. Let r = 30 - x. Is r at most as big as 8?
False
Let m = 107 - 101. Let o be 133/38*(m/(-4))/(-3). Which is bigger: 3 or o?
3
Let n be (-96)/(-44) + -2 + 5032/(-88). Is -58 at most as big as n?
True
Let r be 291*(-77)/3630 + 6. Which is smaller: r or 0?
r
Let d = 1388 - 23588/17. Suppose 0 = -0*h - 5*h - 2*m - 1, -5*h = m + 3. Is h less than d?
True
Suppose 10*p + 16 = -6*p. Is 1/230 at least as big as p?
True
Suppose -f - 117 = -0*f - 3*y, -f - 111 = 3*y. Let v = -115 - f. Let l = -1249/477 - -21/53. Is v less than l?
False
Suppose 179 = -2*f + d, -3*d = 6*f - f + 442. Let t = f + 451/5. Let k = -44 - -45. Is k smaller than t?
True
Let i = 1576 + -1580. Suppose -2*c + 3 = -3*k, 4*c = 6*c + 6. Which is smaller: i or k?
i
Let j be -10*(0 - (-16)/(-4)). Let f = j + -40. Is f > 7/6?
False
Let t = -1450 + 1299. Which is bigger: t or -0.08?
-0.08
Let g = -61 + 61. Which is bigger: -6/23 or g?
g
Let b be (21 - 11)/10*(-27)/14. Is b < -3?
False
Let m(l) = -6*l**3 - 9*l**2 + 10*l - 2. Let h be m(2). Which is smaller: h or -67?
-67
Let x(u) = -u**2 + 2*u - 1. Let o be x(4). Let i(l) = -33*l - 150. Let v be i(-4). Let y = v - o. Do -8 and y have different values?
True
Let h = -854 + 854.2. Which is smaller: h or -2/109?
-2/109
Suppose -2*d = -5*s - 222, 2*s + 3*d = -2*s - 173. Is -177/4 at most as big as s?
True
Let t = -168.9 - -169. Which is smaller: 6/71 or t?
6/71
Suppose -2*r = 4*k + 32, -r + 0 = -4*k - 14. Suppose 4*j - 3*f - 1 = -4*f, 10 = j - 3*f. Let q be (j - -3) + 576/(-54). Is r <= q?
False
Let p be 51/60 + (-35)/(-28)*-1. Which is greater: p or -55?
p
Suppose -4*h + 2 = 4*v + 6, 0 = v - 5*h - 1