ger: -7.4 or i?
i
Let x be (-42)/(-56)*(-48)/(-70) + -4. Is x equal to -4?
False
Let d(i) = -i**2 - 12*i - 20. Suppose -3*x + 4*v - 4 = 0, -4*x - 39 = -x + 3*v. Let n be d(x). Is n > 11?
True
Let t be (-2)/(-5) + 12/20. Let r = 4 + -3. Let g be (-2)/r*t/(-2). Which is smaller: 0 or g?
0
Let g be (-2 - (1 + 1)) + 0. Let h be g/(-16) + 27/(-156). Which is smaller: h or -1?
-1
Let x be (325/780)/((-585)/(-42)). Which is greater: x or 1?
1
Let s = -1.8 + 1.9. Suppose 0*f + 2*f - 4 = 0. Let b be (-1)/4*(-2)/f. Which is smaller: b or s?
s
Suppose 0*r - 3*r = -36. Let h be (6/r)/(6/14). Which is bigger: 1 or h?
h
Suppose 156*w + 329 = 161*w + s, -2*w + 5*s = -110. Which is greater: w or 60?
w
Suppose -2892 = 46*o + 2582. Which is smaller: -118 or o?
o
Suppose 0 = 4*d + 9 + 7. Let l = -202 + 199. Is l < d?
False
Suppose 56 = -5*z + 7*z. Suppose r = -2*n - 3*n + 24, 0 = -4*n - 3*r + z. Let c be (6/n)/(51/68). Is 2 greater than or equal to c?
True
Let u be (21/(-4) - -4)/((-4)/16). Is u <= 4?
False
Let u = -230 - -152. Which is greater: -80 or u?
u
Suppose 0 = 3*q - 2*y + 6*y - 35, 28 = 2*q + 5*y. Let f = -18 + q. Is -31/3 at most as big as f?
True
Let t be (-9)/(-2)*16/(-6). Suppose 32 = -3*m - 7. Is m <= t?
True
Let g(l) = l**2 + 58*l + 461. Let p be g(-29). Which is greater: -1142/3 or p?
p
Let i = -31 - -45. Let u be 4/(-14) - 10/i. Which is smaller: u or -4?
-4
Let u be 6/(-21) + (-1200)/(-35). Suppose 4 = q - u. Which is smaller: 39 or q?
q
Let z(o) = 4*o + 135 - 146 - o. Let w be z(7). Which is bigger: w or 0.1?
w
Let q(y) be the second derivative of y**4/6 - 4*y**3/3 + 11*y**2 + 12*y. Let s be q(5). Which is bigger: s or 30?
s
Let j = 189 - 189. Suppose 1 = q, -2*f + 3*q + 5 - 2 = 0. Suppose 1 = -4*y - f. Which is smaller: y or j?
y
Let n = 1064 - 25537/24. Is -6/11 > n?
False
Let k = 28 - 24. Suppose -v - 1 = l, k*v - v = -2*l - 2. Are l and 1/31 non-equal?
True
Let u be 104/3 - 6/(-9). Let b = -46 - -81. Let i = u - b. Which is greater: i or 0.2?
i
Let l(k) = 2*k**3 - k**2 - 9. Let n(v) = v**3 - 4. Let f(a) = -4*l(a) + 9*n(a). Let g = -10 + 6. Let b be f(g). Is -1 greater than or equal to b?
False
Let z be (-3)/(-2) + 16325/(-10870). Is z at most 0?
True
Let s = 14 - 9. Suppose -6*l + 4*l - 5*f + 8 = 0, -s*f + 17 = 3*l. Let i(n) = -3*n + 8. Let r be i(l). Which is greater: -18 or r?
-18
Let o = -64.08 - -64. Let h = -18.08 - o. Is h less than or equal to -1/4?
True
Suppose -138 = -w + 4*t, 0 = 4*t + 5 - 13. Which is smaller: 145 or w?
145
Suppose -4 = 2*a - y, 2*a - y = -4*y + 12. Let k be -6 - (3 + (a - 2)). Suppose -3*r - 14 = -5*d, -3*r - 3*d - 20 = -5*d. Is r >= k?
False
Suppose -133*g + 131*g = -222. Is g < 108?
False
Suppose 2*r + 4*t - 5 = 5*t, -4*t - 14 = -5*r. Suppose 74 = 4*f - 2*v, -2*f = 2*f + r*v - 86. Suppose -5*o = -o + f. Which is bigger: -7 or o?
o
Let k = 63 - 57. Suppose -5*a + 81 = -2*f, f - 3*a = -k - 37. Which is greater: f or -27?
-27
Let c = 156 + -84. Let u be (c/(-32))/((-1)/4). Are 9 and u non-equal?
False
Let f = 8.3 - 14. Let b = f - -5.7. Which is bigger: b or 26?
26
Let b be ((-12)/5)/((-112)/4060). Which is greater: b or 90?
90
Let z = -7/235 + -56572/2115. Let s = -27 - z. Which is bigger: 2 or s?
2
Let p be (-17637)/(-36)*(-3)/2. Let w = 736 + p. Which is smaller: w or 0?
0
Let b = 1.934 - 2.134. Which is greater: b or -19/35?
b
Suppose -10080 = 37*f - 7*f. Is -2 smaller than f?
False
Suppose 3*p - 53 = -3*z + 2*p, z + 5*p - 41 = 0. Suppose 36 - z = 5*a. Let w be (-1)/(3/(-2) - -1). Which is greater: a or w?
a
Let b be 1*25/1380*-21. Let f = b - -3/23. Which is bigger: f or -19?
f
Let z = 0 - -2. Let w(o) = 0*o + 2 + 2*o**z + 8*o - 4*o. Let r be w(-2). Are r and 4 equal?
False
Suppose 294 = -13*w + 16*w + 3*v, -500 = -5*w + 5*v. Is 99 less than w?
False
Let k = -837808398169/10918 - -76736435. Let g = k + 5/103. Which is smaller: -1 or g?
-1
Let s = 628 - 629. Which is smaller: s or -5/4?
-5/4
Suppose -5*f = 2*a - a + 48, 4*a - 8 = 0. Which is bigger: -2 or f?
-2
Let y be 3/(-3) + 494/26. Which is bigger: -11 or y?
y
Let o be (-5952)/(-24) - (-6)/(-1). Is o >= 242?
True
Let p be (-14)/21 - (-43)/(-3). Let v be -1*(-4 + (-69)/p). Is 2 smaller than v?
False
Let t be (-7 + 1)*4/(-8). Suppose 0 = 5*y + 4*j, t*y - 7*j = -5*j + 22. Are y and 3 equal?
False
Let i = 14 - 12.9. Let m = -1 + i. Let o = m - -0.1. Which is smaller: 3 or o?
o
Suppose -c + 3*g - 16 + 5 = 0, -3*c = -3*g + 9. Let x be -4 - ((-4323)/1155 + (-1)/5). Is x equal to c?
False
Let a be (5*(-1)/(-5))/1. Let b(w) = -w**2 - 6*w - 5. Let k be b(-5). Suppose k*f + f = -a. Is f less than -1?
False
Let j = -111.872 - -112. Let h = -0.348 + j. Is -3 at most h?
True
Suppose 4*n + 46*v - 1162 = 48*v, -3*n + 3*v + 879 = 0. Which is smaller: n or 286?
286
Suppose -9*c = -15*c + 18. Which is smaller: 0.37 or c?
0.37
Let k be (-4)/(-8)*16/14. Let v = k - 57/112. Let p = v - 45/208. Which is greater: -0.1 or p?
-0.1
Let l = -132 + 203. Do l and 2 have the same value?
False
Let c(p) = p**2 - 26*p + 75. Let f be c(19). Which is bigger: f or -57?
-57
Suppose -6 = 12*m + 30. Which is smaller: 3 or m?
m
Let i = 2127494 - 65959720/31. Let w = -239 - i. Which is smaller: w or -1?
-1
Let q = -192 - -130. Let z = q + 62.2. Is 2 at most as big as z?
False
Let g be 2 - (1052/(-525) - -4). Which is greater: 0 or g?
g
Suppose 328 = -17*w - 1423. Is w less than -101?
True
Let y = -412 - -411. Which is smaller: 7/15 or y?
y
Let t = 0.69 - 0.718. Let c = t + -0.042. Which is greater: c or 1/6?
1/6
Let n be 3 - 183/9 - (-2 - -2). Let m = 17 + n. Is 1/3 < m?
False
Let r = 1087/56 - 128/7. Suppose v = 5*l + 10, -2 = -3*v + 5*l + 8. Let k be v*((-16)/(-12) + -1). Which is smaller: k or r?
k
Suppose 0 = -4*p - 2*f - 40, -2*f = 2*p + 2*f + 14. Let a(g) = -g - 13. Let l be a(p). Let v = -5.3 - -5. Which is smaller: l or v?
l
Suppose z - 4*z + 49 = -2*h, 4*z + 2*h - 56 = 0. Let a(v) = -v**2 + 6*v + 12. Let b be a(7). Suppose -b*k - 42 = -8*k. Which is greater: z or k?
z
Let f = 38 + -91. Let k = -36 - f. Is k < 17?
False
Let j be (-1 - 2) + (13780/(-247))/(-20). Is 1 >= j?
True
Let w = -5423 + 37955/7. Let m(r) = -r + 3. Let i be m(4). Which is smaller: i or w?
i
Let t be (2 + -5)*(-32)/6. Let v be (18/(-10))/((-129)/1075). Which is smaller: v or t?
v
Let d be (-49)/(-63) - (-5)/(-45). Which is smaller: 0.518 or d?
0.518
Let g = -65 + 65. Let y = -0.2 - g. Which is smaller: 20 or y?
y
Let t = -141.7 - -141.7. Is 33.3 less than t?
False
Let v be 12/(-36)*6/(-2). Which is smaller: v or -1/261?
-1/261
Let a(r) be the second derivative of -r**5/20 - r**4/4 + r**3/6 + r**2 + 36*r. Let d be a(-3). Is 2/43 bigger than d?
True
Suppose 22*l + 2 = 21*l, -4*p - 2*l = -652. Is p bigger than 164?
False
Suppose x + 17 = 5*y, 2*y = 3*y - x - 5. Let u(q) = q**2 - q - 1. Let k be u(y). Suppose 5*z + 4*b = -15, k*z - 5*b = 29 + 1. Is z less than 2/3?
False
Suppose 0 = 5*u + o - 475, -3*u = 6*o - 2*o - 302. Let j be 2/10 + u/30 + -3. Are j and -7 unequal?
True
Let b = -75138/65 - -1156. Let l(c) = -4*c**2 + 83*c + 182. Let k be l(-2). Which is smaller: k or b?
k
Suppose -2*t = a + 12, -59*a + 8 = -61*a. Which is greater: -58/11 or t?
t
Suppose -h - 3*h = -5*s + 28, -3*s - h + 10 = 0. Let q(y) = y**2 - 2*y + 12. Let j be q(s). Which is bigger: 19 or j?
j
Let j = -0.3 + -4.7. Let n = 4.9 + j. Let c = 115 - 112. Which is smaller: c or n?
n
Let r be (-4)/(4/(24/(-10)) + 1). Suppose r*o - 4*o - 2 = 3*g, 12 = -g - 5*o. Which is smaller: g or -1?
g
Let b be -3 - ((-306)/(-27))/(112/(-30)). Is b at most as big as -0.2?
False
Suppose 4*v - 25 = -4*f - 5, 5*v = -3*f + 17. Suppose 11 + 37 = f*i. Which is smaller: i or 14?
i
Let o be 8/1444*(7 - 8). Which is greater: o or 0?
0
Let g = 11619 + -383398/33. Let t = -800/1023 + g. Suppose 0 = 6*l - l - 5. Is l at most as big as t?
False
Let u = -67 - -20. Which is greater: -48 or u?
u
Let d be (-1 - -3)/(-7 + 2). Let c be 12/18*(-3)/21. Let t = -3/7 - c. Does t = d?
False
Let l(o) = -o**2 + 10*o - 6. Let j be l(5). Let q be ((-50)/(-55))/((-11)/(-242)). Does j = q?
False
Let l be (-30 + 1)*-1*(-1)/(-1). Suppose -56 = -2*w - b, -4*b + 6 = -3*w + 101. Is l bigger than w?
False
Suppose 0 = -c + 1, 2*d - 4*d = 3*c - 13. Let a be ((-375)/d)/((-3)/2). Let h be a/(-15)*27/(