43. Let a = g - -35.143. Which is bigger: a or -0.3?
a
Let o(f) = 577*f**3 + 2*f - 1. Let v be o(1). Let q be 20 - 24 - (-1 + 9278/(-16)). Let x = v - q. Is x not equal to 1?
True
Let s(b) = b**2 - 8*b + 11. Let r be s(8). Let f be 2/(-7) - (-12)/42. Let u be (2/12 - f) + 402/36. Which is greater: u or r?
u
Suppose 5*c = 0, -3*u + c + 86 = 14. Let g be 31/7 - u/56. Let a = g + -6. Which is bigger: a or -22/9?
a
Suppose -1 + 509 = 4*f - 4*d, 2*f = -d + 245. Is f >= 126?
False
Let u = 10 + -10. Let r be 6/(-51) - (101192/114376 - (-5 + 6)). Which is bigger: r or u?
u
Let r = -1678 + 2223. Are r and 547 non-equal?
True
Let m(t) = 4*t**3 - 64*t**2 + 57*t + 104. Let r be m(15). Suppose -5*n = -3*f - 312, -4*f + 193 = -n + 4*n. Which is greater: n or r?
n
Let t be (2 - 42/(-22))*-3. Let v(n) = 11*n**3 - 106*n**2 + 139*n + 29. Let a be v(8). Which is smaller: t or a?
t
Let w = -19357 - -19355. Which is smaller: w or -13/14?
w
Let d = -104 - -98. Let o(a) = 17*a + 85. Let h be o(d). Is h smaller than -17?
False
Let s = 1168 - 1155. Let t = 52 + -37. Which is greater: t or s?
t
Let y = 42.9 - 1.7. Let g = 5.2 - y. Let j = -36 - g. Which is greater: 0.3 or j?
0.3
Let t be ((-414)/63)/(1/7 - (-44)/(-154)). Let x = -4 + 4.3. Which is greater: t or x?
t
Let z(v) = -1428*v - 16386. Let a be z(-6). Is a at least -7816?
False
Let q = -13 + 21. Suppose -59*i - 131 = 40*i - 3695. Do q and i have the same value?
False
Let x(p) = -5*p**3 + 4*p**2 - 174*p - 177. Let m be x(-1). Is m not equal to 275/39?
True
Let q = -10 + -61. Let z = -51 - q. Let t be (29 - 24)*(3 + (-77)/25). Which is smaller: t or z?
t
Let r = 0 - 0.2. Let y = r + 1.2. Let u be 70/(-60)*414/4830. Is u != y?
True
Suppose -4*w + 231 = -14*w + 111. Which is smaller: w or -240/19?
-240/19
Suppose 0 = -5*x + 4*x + 60. Let w(s) = s**3 + 21*s**2 - 31*s - 140. Let l be w(-22). Is l not equal to x?
True
Let i = 37245 - 37224. Are i and -4 equal?
False
Let t = -34 - -33.94. Suppose 2*k + 21 = d - k, -4*d - 4*k = -84. Let o be (d/189)/((-1)/(-6)). Which is smaller: o or t?
t
Suppose 2*r - 10 = -l, 0 = -2*l - l - 2*r + 10. Let a be (-39 - -33) + l + 5. Which is greater: 12/95 or a?
12/95
Let d be (7 - 4) + -29 + -1. Let y = d - -46. Suppose -3*z = 4*q - 35, 3*z + y = 4*q - 10. Which is greater: q or -3?
q
Let u(f) = -13*f + 51. Let y(a) = -15*a + 50. Let q(n) = -2*u(n) + 3*y(n). Let j be q(11). Is -160 < j?
False
Let z = 0.06122 + -4.41122. Which is smaller: z or 2?
z
Let i = -95 + 106. Let d be (-4 + i + -11)*26/8. Which is smaller: d or -1/14?
d
Let o be (1 - 246/4)*-2. Suppose 0 = 4*m - 5*u - 91 - 29, 5*m + u = o. Suppose -5*d + 3*t = -2*t - 45, -d = -5*t - m. Is d at least 17/4?
True
Let o be (-144)/(-40) - (-2 + 3). Suppose -3*p = -2*p + 4, -4*a = 4*p - 104. Suppose 0 = 41*d - 31*d - a. Which is smaller: d or o?
o
Let j be 10/300 + 2/(-3)*3/10. Is 2/7 smaller than j?
False
Let a(b) = -6*b**2 + 91*b + 74. Let h be a(16). Which is greater: -291/64 or h?
-291/64
Suppose 0 = -s + 2*s + 31. Let c = -2524 + 2523. Are c and s non-equal?
True
Let n = 4418 - 3241. Which is smaller: 2353/2 or n?
2353/2
Let w = -1.109 - 4.501. Let z = -5.61 - w. Which is greater: 579 or z?
579
Let l = -24145/3 + 8049. Which is smaller: 0.04 or l?
0.04
Let l(q) = 10*q + 16. Let v(m) = m + 1. Suppose -k = -5*i - 2*k, -15 = 5*i + 4*k. Let f(g) = i*l(g) - 5*v(g). Let z be f(3). Which is bigger: z or 27?
27
Let y be 19 + (-1670368)/69594 - -5. Which is greater: 1 or y?
1
Let f = -24243/44 - -551. Let h = -4.8 + 3.2. Let a = 1.5 + h. Is f greater than a?
True
Suppose -2*y - 5*n = 355, 2*y = 3*y + 5*n + 190. Is -183 smaller than y?
True
Let x(i) = i**2 - 8*i - 44. Let a be x(15). Which is bigger: 5 or a?
a
Let a = 21 - 16. Let v(l) = l + 10. Let n be v(a). Let p = n - 4. Which is smaller: p or 9?
9
Let x = 4188 + -490000/117. Let j(d) = d**3 + 29*d**2 + 55*d + 28. Let t be j(-27). Which is smaller: t or x?
x
Let z be (1729 + -1 + 2)/((-10)/2 + 4). Is z > -1730?
False
Let a be ((-6)/(-14)*-3)/(27/(-126)) + -6. Let x be -3 + 346/57 + -3. Is a greater than x?
False
Let f(d) = -20*d**2 + 11*d - 11. Let c be f(-2). Which is bigger: c or -903/8?
-903/8
Suppose 0 = -2*f + 2*i + 1524, 4783 = 5*f + 3*i + 925. Which is smaller: 767 or f?
767
Let n(p) = 3 - 1 + 6 - p + 3. Let h be n(-20). Let v = h - 92/3. Which is bigger: v or -1?
v
Let k be 389/26*(-39 + 41). Does 29 = k?
False
Suppose -51 = 5*y + x, -236*y + 4*x - 12 = -232*y. Is y not equal to -48/5?
True
Let s = -3251 - -3191. Which is bigger: s or -56?
-56
Let k be (-2 + 0)/(1/(-26)). Suppose 1080 - k = 2*x. Let j = -6664/13 + x. Which is smaller: j or -1?
-1
Suppose o + 5*o = -210. Let n = o - -32. Let f be (n + (-10)/(-4))*-2. Which is smaller: -1/13 or f?
-1/13
Let i = 526 - 569. Are i and 17 equal?
False
Suppose -3793 = 5*q + 3*d, -4*d + 2692 + 368 = -4*q. Let w = 54029/71 + q. Let o = 20413.9 - 20414. Which is smaller: o or w?
o
Suppose -32 = -2*n - 4*y, -8*n - 2*y = -11*n. Is 4 < n?
False
Suppose -5*l + 0*f - 43 = -3*f, 2*f - 34 = 4*l. Let g be 0 - l/(-22) - (3 - 2). Is -2 not equal to g?
True
Let d(w) = 2*w**3 + 10*w**2 - 5*w + 8. Let p be d(-5). Let t = 42 - p. Let j(i) = -i**3 + 9*i**2 + 2*i - 11. Let c be j(t). Which is greater: c or 1/7?
c
Let o be ((-286)/66)/((-1)/3) + 2. Suppose 4*g - 3*k + 9 = 0, -2*g + 26*k - 31*k = -o. Is g > -31.3?
True
Let d = 1118 - 1153. Do d and -15 have different values?
True
Let i = 21 + 9.4. Let t = 12.4 - i. Is 3 >= t?
True
Suppose 4*f - 5598 = -2*h, 50*f = 45*f - 4*h + 7002. Is 1396 > f?
False
Let x = 84 - 164. Let g(q) = -433*q - 512. Let b be g(-1). Is x < b?
True
Let v(l) = l**2 - 6*l + 4. Let m be v(6). Suppose -u = -5*h + u - 90, 75 = -4*h + u. Let p be 4 - (h/(-5) - 2). Which is smaller: p or m?
p
Let z = 6487 - 6487. Does z = -2/23157?
False
Let m = -368 - -352. Is 46 < m?
False
Let l = 5822440647/250042 + -3790236/163. Let f = l - -1544/59. Let d = 59 - f. Is 0 at least as big as d?
True
Let w be (-6)/(-216)*-8 + 10015/(-9). Let l be w/(-2205) + 6/(-10). Do l and 1 have different values?
True
Let w be (1 + 0)/(-4 + (-242)/(-55)). Which is greater: w or 2?
w
Let p = 34 - -13. Let j(u) = -5*u + u + 35 + p. Let n be j(26). Which is greater: n or -23?
n
Suppose -4*z + 1265*g = 1261*g - 28, z = 4*g + 25. Let j be 4/(-6) + (-20)/(-21). Which is greater: j or z?
z
Let l be -9 + (-126)/(-12) - (-2)/804*-619. Is -1 bigger than l?
False
Let c = -2947/13 - -227. Let x be ((-12)/3 - -1) + 7. Let m be 4/x + (3 - 3). Which is smaller: m or c?
c
Suppose 263*i + 609 = 83. Suppose 0 = -2*f + 3*k - 3, 5 = 4*f - f + 5*k. Is f < i?
False
Suppose -j + 5*w = 4*j - 15, -3*w = 9. Let b = -89.6 + 67.6. Which is bigger: j or b?
j
Let q be (-41)/(-13366)*((-4)/12 - 1). Suppose 2*l = -0*l + 2, 2*b - l - 1 = 0. Which is smaller: q or b?
q
Let b be (-7587)/(-210) + (-1146)/955. Which is smaller: 35 or b?
b
Let b = -3 + 4. Let v be 5/(-4) + 31668/(-112). Let h be (-8)/24 - (3 - v/(-96)). Is b > h?
True
Let n(u) = u**2 + 21*u - 31. Let q be n(7). Suppose 14*t - 473 = -q. Suppose -5*w + 46 = -3*w - 2*p, -92 = -4*w + 3*p. Which is greater: t or w?
w
Let n be 7844/(-6) + ((-10)/3)/2. Let d be (-2)/(-7) - 17/(n/(-99)). Which is smaller: d or -2/3?
d
Suppose -57 = 7*o - 127. Suppose 0*i = -i + 5. Suppose -o*q = -i*q. Do q and 0 have the same value?
True
Let z be (-11120)/(-12) - (2/(-30)*-10 + 0). Which is smaller: z or 930?
z
Let d = 26 - 50. Let z = 5.91 + -4.9. Let u = 0.01 - z. Which is greater: d or u?
u
Let c = -6.81 + 7. Let d = 37 + -45. Let r be (1/d - 0)*2. Which is bigger: r or c?
c
Let x = -1520051/7 + 216783. Which is smaller: x or -367?
x
Let k = -86 - -86. Suppose d + 0*d = k. Are d and -8/13 non-equal?
True
Let d be (154/(-42) + 4)*-57. Suppose -18 = h - 3*h. Let w = h - 28. Is d at most as big as w?
True
Suppose 17 = s + 2*y, 2*s - 52 = s + 5*y. Suppose -234 = s*o + 12*o. Is -37/8 greater than or equal to o?
True
Suppose c - 1729*a - 21 = -1726*a, -14 = -5*c + 2*a. Is -1/13279 greater than c?
False
Suppose 166*q - 817*q - 166 = 2438. Let o = -42 - -24. Which is smaller: q or o?
o
Let d be 1771/(-115) + 4/10. Let p(l) = -l**2 + 15*l + 15. Let u be p(15). Let o = u + d. Does 1/8 = o?
False
Let j = 638 + -1146. Let b = j - -509. Is b != 455?
True
Let p = 2.