- 310 = 36*i. Let j be m(i). Is j at least as big as 49?
True
Let a = 227.0164 - 0.0164. Let t = 228 - a. Let d = -7/30 + -1/10. Which is smaller: t or d?
d
Suppose t - 5*t = 4*f - 36, 30 = 4*t - 2*f. Let c = 12 - t. Suppose -5*a - 15 = -0*a - c*p, 3*a + 3*p = 18. Which is smaller: a or -6?
-6
Let u = -2653 + 2677. Is 23 at least as big as u?
False
Let k(c) = 85*c**2 + 7*c. Let r(q) = 2*q - 39. Let y be r(18). Let i be k(y). Let a be 4 - (-105)/(-24) - (-327)/i. Is a at least 0?
True
Let w be ((-14)/(-2))/((-2)/(-30)). Let s be -108*(-5 + (-23)/(-4) + (-6)/(-24)). Let p = w + s. Which is bigger: -15/4 or p?
p
Let a(r) = 41*r**2 - 20*r + 338. Let z be a(13). Which is smaller: 7009 or z?
z
Let m(n) = -24*n - 3. Let g be m(-2). Suppose 0 = c - 50 + 48. Let q be c*(-3)/g*-6. Is 0 less than q?
True
Let x be 590/575 + 7/(-35) + 0. Which is bigger: x or 0?
x
Let p(u) = 4*u + 4. Let a be p(-2). Let i be 2 + (-5)/(-5) + a. Let r be 473/(-286) + 0 + 2/13. Is r smaller than i?
True
Let l = 1051.6 - 1041.6. Which is smaller: -9.8 or l?
-9.8
Suppose -10*r = -7*r - 15, 0 = -3*x + 2*r - 10. Suppose -2*g + 0*l - 5*l - 5 = 0, g - 4*l - 4 = x. Is 3/107 >= g?
True
Let i(m) = 97*m + 1557. Let c be i(-14). Are c and 198 equal?
False
Suppose -26 = -4*f - 2. Let u be (((-5)/15)/(1/f))/(-2). Let a be (-6)/(-309)*1/(-1). Is u <= a?
False
Let d = -2908.045 - -2908. Which is smaller: -4 or d?
-4
Suppose -25665 = 16*n + 15231. Is n at least as big as -2554?
False
Let x = -3743 + 3657. Is x smaller than 7/6?
True
Let o be (-8)/84 - 596/(-4200). Is o at least as big as -1?
True
Let y(r) = 34*r**3 - 2*r**2 - 25*r + 99. Let w be y(4). Is w greater than or equal to 4285/2?
True
Let o = -367090/313803 - -334/293. Let v = 10/153 - o. Suppose 0 = -4*l - 4*g, -2*g = 3*l - 0*g - 1. Which is bigger: l or v?
l
Let y be 21*-1*9/27. Let g(x) = -20*x - 12. Let b be g(y). Let c = b + -128. Does c = -18/31?
False
Let o = 115 - 30. Let i be (o/25 - 3)/((-2)/70). Let h = 0.148 + 2.852. Which is smaller: i or h?
i
Let y(p) = 15*p + 30*p**2 + 26*p**2 - 79*p**2 - 37 + 22*p**2. Let j be y(12). Which is bigger: -4/99 or j?
-4/99
Let u(p) = -p**2 + 27*p - 59. Let m be u(10). Suppose -3*k = 4*s - 32 - 117, -3*s + m = 3*k. Is 40 < s?
False
Let d = -38271 - -31518. Are -6752 and d non-equal?
True
Suppose -6*g + 4*g + 12 = 3*i, 4*i + 18 = 3*g. Let y be (39/g - 6)*0. Which is smaller: 3/17 or y?
y
Let z = -4978 - -4978.3. Which is smaller: 971 or z?
z
Let s = 453 + -352. Let n = -208 + s. Do n and -105 have the same value?
False
Let z = 3 + -3.4. Let c = 79.7769 - -1.2231. Is c at least as big as z?
True
Let o = 4465 - 4461. Which is smaller: o or 561?
o
Let o(f) = -30*f - 230. Let r be o(-5). Is r less than or equal to -77?
True
Suppose 5*f = 4 + 11. Suppose i + f = 21. Let z be (-19)/(-1) + (-1 + 2)/(-2). Which is greater: i or z?
z
Let y be (54/3940)/((-993)/(-1655)). Which is smaller: y or -1?
-1
Let w be -9 + 10 + 2169/(-15). Let y = w + 144. Let b = 8.3 - 8. Which is greater: b or y?
y
Let f be (3/52)/((3564/6512)/(-27)). Suppose -1 = g + 1. Do g and f have the same value?
False
Let d = 0.143 + -136.143. Let a = d - -133. Are a and -7 equal?
False
Let w(v) = v**3 + 4*v**2 - 35*v - 24. Let d be w(-8). Let c be 130/54 - 2/1. Which is smaller: d or c?
d
Let c be ((-390)/(-936))/(10/76). Suppose 20 = 4*d - 0*d. Suppose 2*r + 1 = 3*x, x + 11 = d*r - 2*x. Which is smaller: r or c?
c
Let l = -295249/62882 + 108/23. Which is greater: l or 1?
1
Let v be (-1)/2 - (-1594)/(-28). Let q = -16461/287 - v. Suppose 109*p + 85*p = 144*p - 50. Does p = q?
False
Let g = -118 - 764. Let y be -4*5/100 - g/10. Is y <= 89?
True
Let d be (1 - -33)*-1*-2. Let y = 35 - d. Let s be (-74)/(-8) - y/(-44). Which is smaller: s or 8?
8
Let w be -2 + 11/(44/20). Suppose k - w*f = -124, -3*k - 171 = f + 221. Are k and -129 unequal?
True
Suppose -2*r + 114 = 5*f - 62, 4*r - 64 = -2*f. Suppose 5*q + 4*o + 24 = 219, 5*q + 5*o - 200 = 0. Let w = f - q. Which is smaller: -1/125 or w?
-1/125
Let k be 1*(-8 + 15/1). Let r(f) = f**3 + 9*f**2 + 7*f - 4. Let i be r(-8). Suppose -7 + k = -i*v. Do 1/31 and v have different values?
True
Let i = -559 - -419. Let s be (-38)/14 + 3 + (-5840)/i. Are 128/3 and s nonequal?
True
Suppose 0 = -5*t - 3 - 27. Let f(w) = -2*w - 13. Let j be f(t). Let i = -101/21 - -36/7. Is j less than i?
True
Let h(d) = -198*d + 320. Let x be h(-16). Let i = 694109/199 - x. Is i > 0?
False
Let o be (-9)/(-396)*11 - 623/(-4). Let m be 136/(-10)*(-130)/o. Which is bigger: 11 or m?
m
Let v = 172 - 303. Let c be 4591/35 + 6/14. Let r = v + c. Which is bigger: r or 2?
2
Let m(n) = 3*n**2 + 10*n + 13. Let j be m(-4). Let d be (-129)/j - (0 + 2 + 0). Which is smaller: -8 or d?
d
Suppose 106*f - 750 = 161*f + 185. Which is greater: -544/31 or f?
f
Let h(d) be the first derivative of d**5/30 - d**4/24 - 28*d**3/3 - 17*d**2 + 6. Let t(w) be the second derivative of h(w). Let m be t(0). Does m = 2/7?
False
Let a = -131.35 - -133. Let q = a + -1.59. Is q < 3?
True
Let z = -86641/748240 - -143/995. Is z smaller than 0?
False
Let u(o) = 10*o**2 + 2*o - 2. Let i be u(-3). Let w = 607294 + -1821634/3. Which is bigger: w or i?
w
Let f = 20 - 118. Let q = f + 94. Let r be 1/(q/148) - -2. Are r and -36 unequal?
True
Let p be 2361/(-3) - (-16 + 18) - 4. Is p <= -798?
False
Let a = 11842 - 11841.27. Is a greater than or equal to 0.29?
True
Let l(v) = 15*v - 1019. Let y be l(68). Which is bigger: y or 40/99?
y
Let u be 1062/(-357) - 0 - -3. Suppose 0 = -4*v + 33 - 33. Which is greater: u or v?
u
Let x = 1236 + -1235. Is x equal to -1/3738?
False
Suppose 5*i - 5*c - 50 = 0, 13*c - 18*c - 37 = -4*i. Suppose -5*b = -i*b - 8. Which is smaller: 2/203 or b?
b
Let b = 289.6 + -265. Let h = b - 13.4. Let a = h - 11. Which is smaller: 2/15 or a?
2/15
Let p(z) = -2628*z - 12628. Let w be p(-5). Which is smaller: 517 or w?
w
Let n(y) = 2615*y - 63. Let l be n(1). Does l = 2554?
False
Let i be (-44)/8 - -2 - 259/(-70). Which is smaller: 6.6 or i?
i
Let t(b) = -29*b + 784. Let v be t(27). Is v at least 1/3228?
True
Let b = 0.27 + 0.73. Let q = -129/20 - -77/12. Which is greater: b or q?
b
Let o(t) = -5*t - 39. Let z be o(0). Suppose -4*n + 3*w - 131 = 0, 2*n - w = -0*w - 67. Is n less than or equal to z?
False
Let d = -10807 - -10484. Is -323 less than d?
False
Let l = 1225 - 3613/3. Let i = 21 - l. Let u(o) = -61*o**2 + o. Let k be u(1). Is i <= k?
False
Let a(f) = -42*f + 21. Let i be a(2). Is -64 less than i?
True
Let u be (336/140)/(((-13257)/(-40))/9). Does 1 = u?
False
Let c = 1364 - -748. Is c > 2111?
True
Let x = -130 - 121. Let j = x + 206. Which is smaller: j or -175/4?
j
Let c = 0.023 + -30.023. Let l = -17 - c. Let z = -27.8 + 27.6. Is z less than or equal to l?
True
Suppose 84523 + 97536 = -3249*v - 94106. Suppose -3*a = -4*a - 82. Is v >= a?
False
Suppose 3422 = -3*q - 2*j, 362*q - 363*q + 3*j = 1148. Is q < -1142?
False
Let q(a) = a**3 + 6*a**2 + 4*a + 6. Let r be q(-5). Let c be 5 - 1 - 0/(-55). Suppose t - 25 = 3*h, -c*t + 7*h - 3*h = -76. Which is smaller: r or t?
r
Suppose 824191 + 983864 = 177*y. Is y greater than or equal to 10214?
True
Suppose 339*v - 132478 = 311041 + 154816. Is v at least as big as 1764?
True
Let s be (5184/(-128))/(0 + (-2)/(-28)). Let j = s + 883. Is 316 bigger than j?
False
Let h = -4515 + 7043. Is h > 12644/5?
False
Let r = -0.018 - 330.982. Let j = r + 331.07. Which is bigger: j or -0.07?
j
Let y = -3891/10 - -1944/5. Suppose -5*j = -2*j - 12. Suppose -6*x + 3*x + 13 = -j*l, -3*x = -l - 10. Is l not equal to y?
True
Let o = -101.7 - 1.3. Let p = o - -62. Is p >= -2?
False
Suppose -894 = -2*w + 562. Suppose 68*q - 64*q - w = 0. Is 182 > q?
False
Let k = -707 - -707. Let m be (-10)/(-35) - k - 1856/28. Suppose -2*l = -3*t + 126, -l - 4*l - 334 = 2*t. Is m < l?
False
Suppose 6*w = f - 8, -24*w - 2*f = -22*w - 2. Let u be 0 - (0 + (-1340)/13). Let k = u - 103. Does k = w?
False
Let z = -6661/14 - -476. Let y(b) = -38*b - 799. Let k be y(-21). Is z less than or equal to k?
False
Let t(n) = 118*n + 1074. Let c be t(-12). Is -21 at most as big as c?
False
Let h = -0.15753 - -0.02753. Let i = 10.6 + 0.4. Which is smaller: i or h?
h
Suppose -119 - 891 = -10*s. Let j = 114 - s. Let a = -4 - -7. Which is greater: