(h) = h + 5. Let g be r(4). Suppose -g*i = -4*i. Suppose i = -0*f + f - 1. Which is smaller: -1/4 or f?
-1/4
Let g = 130 + -338. Is -208 at most as big as g?
True
Let p = -48 + 63. Let t = -14 + p. Do 0.15 and t have the same value?
False
Let l = 3 - 3.1. Let q be 9/(-45) + (-49)/(-45). Are l and q equal?
False
Let n(f) = -f**2 - 4*f + 16. Let a be n(-7). Let w be a/7 + 0 + 3 - 2. Which is bigger: 1 or w?
1
Suppose 4*u + 2*c - 40 = -2*c, -u - 2 = -2*c. Let t be u/(-21) - 78/21. Which is bigger: t or -8/3?
-8/3
Let t be (-2)/12 + 2*6/27. Let n = 1/9 - t. Which is smaller: -10 or n?
-10
Let b = 2041 - 124519/61. Are b and 1 equal?
False
Let g = 16 - 14. Let p be (g/4)/(-4 - (-213)/54). Let w = 0.1 - 0.1. Is w greater than or equal to p?
True
Suppose 24 = k + 22, 5*w = -3*k + 1. Which is smaller: -4/25 or w?
w
Suppose -3*n + p = -208, -p = -2*n - 4*p + 146. Let f be (1 + (-18)/15)*n/(-693). Which is greater: 1 or f?
1
Let j(b) = 4*b - 6. Let a be j(7). Let p be (-4)/8 + a/(-4). Let t be -2 + ((-18)/(0 + -3))/(-2). Which is greater: p or t?
t
Let j be -3 + 3*(0 + 3). Let b(i) = -i**3 - 8*i**2 + 4. Let m be b(-8). Suppose m*w + 5*c = -14, 0*w + c = -4*w - j. Which is bigger: 0.7 or w?
0.7
Let m = 292/287 + -30/41. Which is bigger: m or -0.074?
m
Suppose 7 = 4*p - 4*v - 1, 4 = 5*p - 2*v. Suppose -q = -4, -4*o - 2 = -3*o - q. Suppose p = -o*b + b. Do b and -6/5 have different values?
True
Let s = -96 + 138. Let n = 0.5294 - 0.4294. Is n <= s?
True
Let q = 0.04 - 0.94. Let i = -34 + 33. Let a = q - i. Which is bigger: a or -12?
a
Suppose 3*q + 3*w - 9 = 0, 5 - 3 = w. Suppose -t + 3*n + q = t, -4*n = 4. Let f = 16/9 + -2. Is t greater than or equal to f?
False
Suppose -1880 = -5*j - 3*j. Which is bigger: j or 234?
j
Let x = 41 + -58. Let m be (-50)/48 + (-16 - x). Which is greater: 1 or m?
1
Let f = -45 + 93/2. Suppose -85 = -2*a - 81. Is a bigger than f?
True
Let d(o) = o - 11. Let p be d(5). Let i = 73 - 72. Let w be (i - (-9 - -4))*-1. Is w greater than or equal to p?
True
Let r be 8888/156*2*3. Let p = r - 342. Suppose -5*q = -m, -m - 4 = -0*q - q. Which is bigger: p or q?
p
Let a = 799 - 798.97. Which is greater: -4 or a?
a
Let s = 123 + -42. Let q = s + -565/7. Let a(w) = -w**3 + w**2 + w. Let d be a(0). Is d smaller than q?
True
Suppose 10*q + 13*q + 29*q + 6*q = 0. Let s be (-1)/(-1)*1*42. Let x be (2/s)/(7/6). Which is greater: x or q?
x
Let q = -943 - -952. Is q bigger than 15?
False
Suppose 27*w - 21*w = 84. Suppose -z - w = 3*x + 15, 0 = -4*x + z - 41. Let s be (0 + 1)*34/(-4). Which is smaller: x or s?
x
Let c be 1 - 3 - (13 + -2). Let z = c + 15. Let v be 3/(0 + 1 + z). Which is bigger: v or 3?
3
Let a = 4.4 - 44.4. Let m = -40 - a. Which is smaller: m or 13?
m
Let w(i) = i**2 - 19*i - 101. Let j be w(24). Is -0.24 equal to j?
False
Let r = 3.367 + -0.067. Let q = -339 - -340.3. Let m = q - r. Is 1.4 less than m?
False
Let c = 1543213 + -15415849/10. Let t = c - 1626. Which is smaller: t or 3?
t
Let i(t) = -30*t + 268. Let r be i(9). Which is smaller: 97 or r?
r
Let k be 4/18 - 104/306. Let p = -158.1 - -158. Which is greater: p or k?
p
Let a be (-28)/(-6) + 3/18*-4. Suppose -5*c = -20, -4 + 20 = d + a*c. Is d bigger than 2/59?
False
Let g = 392 - 329. Which is bigger: g or -6?
g
Suppose -4 + 0 = -y - 2*k, -4*k + 12 = 4*y. Let x = y - 1. Let v be x/(-4) - (-1)/12. Is 1/6 less than v?
False
Let h = 68 + -79. Let s = 8.6 - -2.4. Let c = s + h. Is -1 < c?
True
Suppose 8 = -2*a + 2, g - 72 = 3*a. Is 67 bigger than g?
True
Let n = 3.1 + -3. Let f = 390/11 + -681/22. Which is greater: f or n?
f
Let l be (-2 - -3)/(-1)*(-5 - -2). Suppose -3*y = 4*i - l, i + i = -3*y + 3. Let h = -3 + 5. Is i greater than h?
False
Let t = 3 + -6. Let y = -2.904 - -3.104. Which is greater: y or t?
y
Suppose -4*q + i + 4 = -9, 22 = 4*q + 2*i. Suppose 32 = 2*o - 2*t, -q*o + t = -37 - 30. Suppose 4*w = -21 + o. Which is smaller: w or 2/13?
w
Suppose -h + 20 = -4*f, 2*h - 25 = 5*h + 5*f. Let r = h - -17. Are r and 17 nonequal?
False
Suppose -14*s = -33 - 37. Let f be 1 + -1 + 0/s. Which is greater: -72 or f?
f
Let i = 7 - 2. Suppose 34 = -i*f + 154. Let p = 29 - f. Is p bigger than 5?
False
Let c be (6/9)/(-5 - (-174)/36). Is -10 > c?
False
Let j(h) = h**3 + 14*h**2 + 15*h + 18. Let p be j(-13). Let u be (p + 8)/(1 - 3). Which is smaller: 1 or u?
u
Let u = 19909 + -199087/10. Suppose 0 = 3*c - 5*i + 2, -4*c - 3*i - 3 + 10 = 0. Let r = 0 + c. Is r not equal to u?
True
Suppose 3*r - 14 = -2*i + 5, 4*r = -4*i + 28. Suppose 0 = -o - i + 3. Is o at least as big as 1?
True
Let h(m) = m**3 + 9*m**2 + 12*m - 6. Let p be h(-7). Let l be 1*(p/(-4) + 1) + 2. Which is smaller: l or 1/15?
1/15
Let t = 0.3 - 0.1. Let w = -13.6 - -13.69. Is t >= w?
True
Let t = 1 - 3. Let g = 0.454 + 1.436. Let i = g + t. Which is smaller: -0.1 or i?
i
Let h be (-14)/(-6)*960/704. Which is bigger: h or 3?
h
Let w = -13.68 - -14. Let q = -1.32 + w. Which is bigger: -24/5 or q?
q
Let h = -5 + 2. Let y be ((-3)/(-1))/1 + h. Suppose 3*i - 4*i = y. Which is smaller: -1/14 or i?
-1/14
Let s(f) = f**3 + 7*f**2 + 2*f + 9. Let n be s(-7). Let m be ((-20)/(-70))/((-20)/7)*42. Is m at least as big as n?
True
Let k be (-171)/(-1) - (-15 - -11). Do k and 176 have the same value?
False
Let y be -2*4/10*(41180/(-16))/(-29). Suppose -4*g - 249 = 39. Are y and g equal?
False
Let d be (1*131)/(-51 - -52). Are d and 131 nonequal?
False
Let v = 1483 - 374. Let y = v - 94266/85. Which is bigger: 1 or y?
1
Suppose 0 = -5*b + 3*m + 256, 0 = -4*b + 5*m + 104 + 106. Let o = b + -51. Do 2/17 and o have the same value?
False
Let v be (-1 - (-10)/3) + -2. Let y = 120 + -92. Let b = y + -27.85. Which is smaller: v or b?
b
Let p(b) = b**3 - 7*b**2 + b - 5. Let d be p(7). Let q = 62 + -60. Suppose -2*i = -z - 2*z + 5, 0 = q*z - d*i - 2. Is z <= 3?
True
Let r = -0.1 - 0.1. Suppose -3*z + 9 + 5 = v, 4*v + 5*z - 56 = 0. Let s be ((-17)/v - 2/7)/(-3). Is s at least as big as r?
True
Suppose 0 = 6*r - r. Let n = -764 - -762. Let c be 1 - (n + r - -3). Is c < -2/19?
False
Let v be (-21)/(-15) + 1/(-1). Let r = 31 - 32.8. Let c = r - -1.8. Is v < c?
False
Suppose -53 = -3*b - 5*y - 21, y = 3*b - 8. Which is smaller: b or 120/23?
b
Let x be ((-78)/4 + 2)*10/(-25). Suppose 24 = -5*o + 9. Let j be o + (-3 + 5 - -6). Which is smaller: x or j?
j
Let j = 1 + 0. Suppose 117*w = 116*w. Is w != j?
True
Let h be (15/(-12) - 9/12) + 66. Is 65 != h?
True
Let f = 164 + -94. Is 70 smaller than f?
False
Let s = 9.04 + -0.04. Let p = -10.81 - -0.81. Let f = p + s. Which is bigger: -0.06 or f?
-0.06
Suppose 3*g = 1 + 5. Suppose 2*f = 5*i - 16, -g*f = 2*i - 4*i + 16. Let t = f + 6. Which is smaller: -2/3 or t?
t
Let s(j) = 10*j + 45 - 36*j + 8*j. Let b be s(7). Is b != -81?
False
Let w be 0*(-1 - (2/(-4) + -1)). Suppose w*k + 4*k + 148 = 0. Which is bigger: k or -38?
k
Suppose 3*m = p - 5 + 4, 3*p = m - 13. Which is smaller: -29/17 or m?
m
Let l be -6*2/(-224)*1. Suppose 170*d = 163*d. Are l and d non-equal?
True
Let l be ((-6)/4)/((-15)/365). Let w be (0 - 0)/(-2) + 37. Are l and w non-equal?
True
Let s be ((-61)/1*-3)/(-1). Let j = s + 273. Let o be (10/j)/(2/(-6)). Which is smaller: 14 or o?
o
Let v = 764 + -400. Which is bigger: 0 or v?
v
Let f = -24 + 6. Let w = 15 + f. Is w greater than -4?
True
Let f = -42 + 42. Let n be -12 + 14 + 13 + f. Which is bigger: 17 or n?
17
Let k = 9063 + -9100.57. Let f = k + 7.47. Let q = f - -30. Is q smaller than 0.09?
True
Let d = 4/415 - -15734/3735. Let u be (-93)/(-33) - (-8)/44. Do d and u have the same value?
False
Let j = -48 + 50. Let i be 4/6*6/4. Which is bigger: j or i?
j
Let a be (-2)/(-5) - 12/(-20). Let z = -201699/65 - -3103. Is z at most as big as a?
True
Suppose -5*b = 2*z - 117, 5*z + 2*b - 5*b - 215 = 0. Which is smaller: z or 24?
24
Let l = -4394/5 - -58372/65. Is l less than or equal to 20?
True
Suppose g = 5*g - 16. Suppose 0 = -3*c + g*c + 5. Let s = 614 + -621. Are c and s non-equal?
True
Let w = 4727/7410 + -67/78. Is w at most as big as 1?
True
Let y be (-4)/12 - 8/(-6). Let j be 25*(36/15 - 2). Suppose 5*k = j*k + 30. Is y >= k?
True
Suppose 4*v = d + 154, 3*v - 5*d - 50 = v. Suppose -5*l - 4*j + 3*j + 187 = 0, 15 = -5*j. Which is bigger: v or l?
v
Let o(w) = w**2 - 11*w + 6. Let g be