 or a?
a
Let k be (-10)/4 + 2/(-4). Let b be 8/(-2) - (-6)/k. Let y be (-528)/(-2376) + 47/(-9). Is y >= b?
True
Let i = -735204932/6315 - -116422. Is i smaller than 0?
True
Let y = -2 - -2. Let w = 427529/171 - 22442/9. Let f = w - 126/19. Do y and f have different values?
True
Let b be ((-2)/(-4))/(17/(-2)). Let l be ((59 - 66) + 13 + -4)*(-3)/(-2). Which is greater: b or l?
l
Let p = 1038667/8 - 129668. Which is smaller: 165 or p?
165
Let v(t) = 8*t - 101. Let w(a) = -17*a + 203. Let y(k) = 7*v(k) + 3*w(k). Let s be y(18). Is -8 equal to s?
True
Let m = 1391 - 1240. Let c = 1.83 + -123.83. Let t = m + c. Is -0.1 at least t?
False
Let c = 86/13 - -41/39. Suppose 0 = -5*i + 5*h + 25, 14 - 51 = -5*i + 2*h. Is i bigger than c?
True
Let a = 948 - 900. Let v(l) = -l**2 + 14*l - 3. Let o be v(6). Is o < a?
True
Let c = 8907 - 3021. Which is bigger: 5885 or c?
c
Let w be (17 - -2147) + 15 - -3. Does w = 2182?
True
Let o(k) = -k**3 + 7*k**2 - 34*k + 167. Let z be o(6). Are 2/2021 and z nonequal?
True
Let g = 86 - 117. Suppose d + 19 = 2*d - l, 2*d - 26 = -l. Let t be (620/75 - 8) + 2/d. Which is bigger: t or g?
t
Let q = -7290563/143 - -50983. Suppose 0 = x + 2*x + 3. Is q != x?
True
Let o(b) = 3 - 421*b**2 + 409*b**2 + 1 - 1. Let c be o(-1). Let a = 6 + -14. Is a at least as big as c?
True
Let f be 25 - 53/(54431/25792). Let z be 0*(-2)/4*1. Which is smaller: f or z?
f
Let a = 432 + -419. Let y be 24/a - -1 - (-19 - -22). Which is smaller: y or 12?
y
Suppose 0 = -28*f - 126 + 602. Let m be (-2990)/f - ((-210)/(-51) - 4). Which is bigger: m or -178?
m
Let r = 31/7724 + -30857659/69516. Let n = r - -443. Which is smaller: -1 or n?
-1
Let l = 320 - -692. Are 1011 and l nonequal?
True
Let f = 128 - 382. Let n = f + 250. Let z = 0.35 + 15.65. Which is smaller: z or n?
n
Let l = 16/103 - -655/1751. Suppose -58*c = -63*c. Which is smaller: l or c?
c
Let g be (12/10)/(15/350). Let j be 4/6 + (-2 - g/(-21)). Let m(v) = v**3 - 10*v**2 + v - 11. Let i be m(10). Is j not equal to i?
True
Let v = 5.34 + 1047.06. Let y = v - 1057. Does -0.1 = y?
False
Let k = -114 + 151. Let v = k + -22. Let f = 19 - 5. Which is bigger: f or v?
v
Let p = 214 + -297.68. Let v = p - -0.68. Let x = -83.12 - v. Which is smaller: 0 or x?
x
Let z = 44.13 - -1040.87. Is z not equal to -1/4?
True
Let l = -3757 + 3757.1. Let o = -5.9 - -5.923. Which is bigger: o or l?
l
Let z be -1*1*-7*-1*96. Let o = z + 416. Let q be (-12)/o*2/3. Is q <= 1?
True
Let g = 1/1924969 - 38318432921/13474783. Are -2844 and g nonequal?
True
Let v be (79/51)/((-195)/(-52)). Let b = v + -2/153. Which is bigger: b or -1/3?
b
Let w = 8664 - 9533. Is w >= -864?
False
Let c be 3 - (676/186 - 2/3). Let y = -152 - -152. Which is smaller: y or c?
y
Let h = -12583 - -9965. Which is bigger: -0.1 or h?
-0.1
Let y = -62 - -98. Let n = 142 - y. Which is smaller: 3 or n?
3
Let j be (-174)/35*1*(-1638)/1170. Is j != 7?
True
Suppose 4*y - 6*y = -6. Let r = y + -47/15. Let p be 7/((-35)/10) + (-36)/(-27). Which is greater: r or p?
r
Let y be (-14*(-12)/105)/((-2)/5). Suppose 4*s - h = -35 - 5, -s = 3*h + 10. Let k be ((-4)/260)/(y/s). Is k at most as big as 0?
True
Let m = 4764 + -2057. Which is bigger: m or 2706?
m
Let h(p) = 617*p + 13242. Let g be h(-21). Which is smaller: g or 108?
108
Let u be ((-68)/(-10) - -1)/(1038/6920). Suppose -u*l - 287 = -59*l. Let f = -63 - -105. Which is smaller: l or f?
l
Let w = -64185 + 2823995/44. Which is bigger: w or -4?
w
Let r(w) = 62*w**3 + 3*w**2 - 23*w + 47. Let a be r(3). Is 1680 at least as big as a?
True
Let o = -159.7 - -160.065. Are -14 and o nonequal?
True
Suppose 1 = 3*o - 2*o + 2*d, -17 = -4*o + 5*d. Let v(c) = 10*c - 2. Let p(y) = -10*y + 3. Let q(f) = o*v(f) + 4*p(f). Let x be q(3). Which is smaller: x or -25?
-25
Let y(q) = -47*q + 193. Let d(a) = -117*a + 483. Let u(t) = -5*d(t) + 12*y(t). Let i be u(8). Which is greater: 68 or i?
i
Let t(w) = -w**2 - 9*w + 388. Let m be t(-25). Is -104/9 < m?
False
Suppose 33*m = 22*m - 11. Let c be ((-248)/(-868))/(m*(-5)/7). Are c and 63 unequal?
True
Suppose 5*t = m - 6, 2*m + 2*t - 3*t = 3. Let p be (-1128)/21 + 8/(-28). Let s be 8/(-90) + (-12)/p. Is s greater than or equal to m?
False
Let k = 4962 + -84356/17. Let u = 469/234 + -37/18. Which is smaller: u or k?
k
Suppose 0 = b + 5*d - 21, -47*b + 4*d + 63 = -44*b. Suppose 0*p = 5*p - 95. Let z = p - 0. Which is smaller: b or z?
z
Let m(c) = -4*c**2 - 66. Let a be m(0). Let s be 4 + 1 - 143/a. Which is smaller: s or 7?
7
Let r be (24/10)/(((-34)/40)/(-17)). Suppose 5*l + 4*k - r = 0, 6 = 3*l - 5*k - 8. Let d be (16/12)/(l/6). Is d at least as big as 1/5?
True
Let p = 35 - 0. Let g = p + -33. Suppose 3 - 35 = -g*u. Which is smaller: 15 or u?
15
Let t be -8*13/52 + 158/(-4). Let j be -1 - 108/3 - 2. Let n = j - t. Which is greater: 3 or n?
3
Suppose -63*r - 29274 = 23205. Let q = r - -3333/4. Is q < 0.59?
True
Let n = -1000544041/37 - -27044506. Let d be 222/9*675/(-6). Let o = d + n. Does 1 = o?
False
Let k = -12 - -12.96. Let m = k + 40.04. Let v = 44 - m. Do 7 and v have the same value?
False
Suppose -8*k - k = -7*k - 4*k. Is k != 15/139?
True
Suppose 11*i - 9*i = 48. Suppose -11*a + i = a. Suppose a*l - 6 = 4*s, 6 = -l + 3*l. Is -1/148 less than s?
True
Suppose -5*r - 15 = -f - f, 2*f = 10. Let x = 1154/19 - 566576/9329. Is r < x?
True
Let y be (-8 + 4/1)*(-47)/(-2). Let x = y - -106. Let w be ((-1)/x)/((-9)/(-27)). Which is bigger: -12 or w?
w
Suppose 32 = 3*y - 4*g, 7*y - 5*g - 37 = 4*y. Let d be 8/72 + y/(-36). Which is smaller: d or -2/227?
-2/227
Suppose 0 = -4*i - 2*f + 4, i + 2 = 2*f + 8. Suppose 0 = t + 3, -2*n = 2*t + i*t + 64. Let k = -28 - n. Is k less than or equal to 12?
True
Let y(t) = t**2 - 4*t + 4. Let u be y(3). Suppose k - u = 2*k. Let f be 5/(-42)*(-8 + (-440)/(-50)). Is f <= k?
False
Suppose -4*o + 26 = 8*l - 6*l, 0 = 4*l - 4*o + 20. Which is bigger: l or 2/4109?
l
Let k(r) = -3*r**2 - 4*r + 11. Let t(j) = j**2 - j - 1. Let c(b) = -k(b) - 2*t(b). Let d be c(-7). Let y = -26.575 + 3.575. Is d at least y?
True
Suppose -h + a + 31 = -6*h, -4*a + 51 = -5*h. Let b be 0 - (4 - ((-161)/6)/h). Is 1 greater than b?
True
Let i = 21811 + -21796. Is i less than or equal to -143?
False
Let a(g) = -14 + 55 - 94*g + 105*g. Let n be a(-4). Is 2 <= n?
False
Let k be (14/((-210)/45))/(111/244). Which is greater: k or -8?
k
Suppose -39556 - 40744 = 50*w. Is w less than -1605?
True
Let n = 738 + -719.88. Let k = 33.12 + -33. Let r = k - n. Is 1 smaller than r?
False
Let d be (-6)/(-1) - (-153445)/(-25830). Let y = d - 4/63. Which is greater: 1 or y?
1
Suppose -2*v = 2, 5*u - 10*v = -5*v + 1715. Which is bigger: u or 339?
u
Let b = -7891 - -6679. Is b at most -1208?
True
Let i = -170.314 + 170. Let k = 4.814 + -4.8. Let r = i + k. Which is greater: r or -1?
r
Let q(h) = -h**2 + 6*h - 1. Let j be q(5). Suppose t - 6*t + 3934 = 3*g, -j*g + 5268 = t. Let y = g - 11849/9. Which is smaller: 2 or y?
y
Let b = 0.0912 - -54.8088. Let g = 55 - b. Does 3/4 = g?
False
Let k = 3 + -4. Let h = -3831476/73 + 52486. Is h not equal to k?
True
Suppose -24*g = -22*g - 32. Suppose -g = 26*i - 30*i, 3*l + 4*i = 13. Which is bigger: 2.45 or l?
2.45
Suppose -98*b = -96*b - 50. Suppose 5*r + 0*f = 4*f - 130, 3*f + 135 = -4*r. Let l = r + b. Is -1/3 greater than or equal to l?
True
Let o = -104 + 59. Let x be 3 + 3/5 + (-69)/115. Suppose 0 = 7*j - 9*j + x*n - 80, -5*j - 226 = -n. Which is smaller: j or o?
j
Let i(v) = -31*v - 2. Let f be i(0). Let j be 3 + -1 - (-42)/4. Is f < j?
True
Let v = 625 + -625.204. Let o = v - -12.104. Which is smaller: o or 0.3?
0.3
Let v = -0.63796 + -0.06204. Which is smaller: v or -310?
-310
Suppose -8 = 2*a, s - 17 = -2*s + 5*a. Suppose 0 = -5*v + 10. Let k be -1 + -3*v/(-30). Which is greater: s or k?
k
Let n(y) = y**3 - 13*y**2 - 11*y - 28. Let k be n(14). Let h(p) = 2*p**2 - 4*p + 1. Let g be h(4). Suppose 11 + g = 2*q. Are q and k non-equal?
False
Suppose -7597*g = -7606*g + 7785. Is g less than 865?
False
Let h be 4/6 - 19/6. Let r = 480 + -1101.9. Let x = -622 - r. Which is smaller: h or x?
h
Let l(w) = 4*w + 14. Let v be l(-3). Suppose -v*g - g + 3 = 0. Suppose -2*d = 4*n + 55 + g, 4*d = 5*n + 57. Is -16 smaller than n?
True
Let d(l) = -l**3 - 16*l**2 + l + 20. 