t as big as 1?
True
Let d(j) = 7*j + 57. Let z be d(-8). Let u be 5*(19 - z)/((-3)/2). Is 1 >= u?
True
Suppose 0 = 5*q + 2*s - s - 203, 5*q + 3*s - 209 = 0. Let l = 60 - q. Which is greater: 22 or l?
22
Let u(w) = -2*w - 1. Let r be u(-5). Suppose -59 + 239 = r*l. Suppose 0 = -2*s - 2 - l. Which is smaller: s or -1?
s
Suppose -56*a + 336 = -14*a. Suppose 36*w - 28*w = -a. Do w and 2/749 have different values?
True
Let b = 5800 + -6340. Is b != -540?
False
Let o(t) = 24*t**3 - 60*t**3 + 7*t + 2*t + 4*t**2 - 4*t. Let p be o(-1). Which is greater: p or 32?
p
Let m = 43.5243 + -0.4643. Let t = -12 - -55. Let s = m - t. Which is smaller: 0.1 or s?
s
Let n = 36112 - 36377. Is -265 greater than or equal to n?
True
Let q = 345 - 721. Let a = 276 + q. Which is bigger: -101 or a?
a
Let o be (-16)/(-20) + (3 - 73/(-40)). Let d = 1/59 + 57/118. Is o > d?
True
Suppose -10525*v + 10528*v + 8469 = -4*z, 0 = -5*v + z - 14046. Is v >= -0.1?
False
Let s be 14/(-27)*12012/637*-9. Which is greater: 2030/23 or s?
2030/23
Let l be (6/(-15))/(13/14365). Let k = -441 - l. Which is bigger: k or 3/121?
k
Let j = 31.08 + 0.32. Let q = 31.7 - j. Let u = -1.95 + -0.05. Is u less than q?
True
Let v = -3.7 - -0.7. Let u = 0.997 - -2.003. Is v > u?
False
Suppose 0 = j - 2*d - 34, -4*j + 4*d = -d - 121. Suppose -4*t + 25 = -3*c - j, -62 = -5*t + 3*c. Suppose 3*h = 5*k + t - 80, -32 = 3*h + 2*k. Is h at most -3?
True
Let p(u) = -2*u**3 + 15*u**2 - 29*u + 121. Let a be p(9). Are -2 and a equal?
False
Let u(d) = -d**2 - 93*d + 10. Let j be u(-22). Does 1572 = j?
True
Let f = 2 + 2. Suppose 27*q - 41 = 5 + 8. Suppose -f*c = q*z + 6, 0*c - 2*z = -2*c. Which is smaller: c or 1?
c
Let t = 420 - 452. Let h be -249*t/(-1320) + 6. Let z(s) = -s**3 + 6*s**2 + s - 6. Let j be z(6). Is h > j?
False
Let q = 6.95 - 18.647. Let b = q - 0.303. Let c be (2 + 16/(-6))/2. Is c greater than b?
True
Suppose -9*q + 5*q + 16 = 0. Suppose 1 = 5*r - 4*x, q = 5*x - x. Suppose -c - r = -0*c. Are c and -3/8 unequal?
True
Let c(z) = -z - 3. Let t be c(0). Suppose -3*k + 182 - 206 = 22*d, -5*d + 16 = -2*k. Do t and d have the same value?
False
Suppose -26*d + 25 = -21*d. Suppose -8 = 4*o + d*f, o + 2*f + 2 = -2*f. Let w be (-6)/27 - (-87)/(-216). Is o smaller than w?
True
Let l = 5069 + -3628. Is -1 at least l?
False
Let r be (-638)/(-4)*196/539. Do r and 60 have the same value?
False
Let q = 29.8 + -29.64. Do q and -2/75 have different values?
True
Suppose -5*r + 303 = -2*c + 6*c, -4*r - 4*c = -244. Let v = -1.85 - 0.15. Which is smaller: r or v?
v
Let h = -1/18 - 7/36. Let b = 94682 - 94773. Is h at least b?
True
Let h(s) = s - 6. Let i be h(13). Suppose 6*b - i*b = 3*v + 18, 0 = 4*v - 5*b + 5. Let f(m) = m**3 + 6*m**2 - 3*m - 2. Let q be f(v). Is 39 smaller than q?
False
Let m = 7 - 12. Let t = 19 + m. Suppose 0*n + 5*n - g = t, 1 = -n + 4*g. Which is smaller: n or 15/7?
15/7
Let r = 32 - 11. Let u = 11 - r. Let s be 1*-5*9/(2475/u). Which is smaller: -3 or s?
-3
Let z = -309 - -4009/13. Suppose -2*k - 27 = 5*w, -2*k + 6*k - 3*w = 11. Which is smaller: z or k?
k
Let n(b) = -10*b**2. Let p(q) be the first derivative of q**4/2 + 2*q**3/3 - q + 21. Let a be p(-1). Let y be n(a). Is 2/5 at most y?
False
Suppose r + 12 = 17, -3*d = -5*r + 70. Let i be ((-6)/d)/(2/10). Let y = -4 + 7. Is i bigger than y?
False
Let c = 508 - 676. Are c and -9 nonequal?
True
Suppose r + 4*a = 15, 4*r - 9*r + 3 = 2*a. Let y be r - 2 - (-28 - -10). Which is smaller: y or 43/3?
43/3
Let c = -415 + 415.0266. Let r = -12.9734 - c. Is -3/4 greater than r?
True
Suppose 16 = 2*o + 2*f, f - 5 = -0*f. Let l be 249/(-9) - (-2)/o. Suppose -t + 26 = -2*t. Is l less than or equal to t?
True
Let y be (-14762)/(-22) + (18/(-6))/(-3). Is 670 < y?
True
Let p = 29 - 62. Let w = -31.7 - -64.6. Let o = w + p. Is o at most as big as -12/11?
False
Let q be (-202)/455 + 2/5. Let i = -114018 - -114018. Is i < q?
False
Let f = -0.25955 - -2905.25955. Which is greater: 0.1 or f?
f
Let r = -1038 + 2075/2. Let z = 32 + -30. Which is smaller: z or r?
r
Let w = -0.02 + 0.62. Let b = -9935/6626 + -2/3313. Is b greater than w?
False
Let m(j) = -102*j - 843. Let a be m(-15). Which is bigger: a or 688?
688
Let q = 39808/99595 - -6/19919. Which is smaller: 23127 or q?
q
Let i(y) = -9*y - 7*y + 33 - 5*y + 6*y - 10*y. Let v be i(3). Let k = 53 - 96. Is k at least v?
False
Let v = 10.06 - -660.94. Let a = -391 + v. Is a greater than or equal to -0.1?
True
Let g be 34/(-51)*27/6. Let q = -1 - -1. Let d be (-1)/(-3 - q) + 4/g. Is -2/41 less than d?
False
Let m be (6/4)/(-13*3/234). Which is bigger: m or -39/4?
m
Let r = 579847/89 + -6515. Let u = r + 741/445. Is u bigger than 1?
True
Let r be (-60)/135 - 13875/(-4185). Are 3 and r non-equal?
True
Suppose -1 = s - 0*s. Let t(o) = -8*o**3 - 6*o**2 - 8*o + 1. Let x be t(-7). Let b = x - 250697/100. Which is smaller: b or s?
s
Let b be (8/(-26))/((-32)/(-32)). Let y = 0.064 + 45.936. Let x = y - 43. Which is greater: x or b?
x
Let u = -0.23 - -0.28. Let k = -0.35 - u. Let o = -0.6 - k. Is -5 at most as big as o?
True
Let j = -322 + 670. Let d = j - 394. Is d equal to 0?
False
Let w = 22 - 13. Let b be (-1)/(20/30*-3). Which is smaller: w or b?
b
Suppose 0 = 3*l + 2*l - 5*c + 55, 0 = c + 2. Is -139/11 at most as big as l?
False
Let i = 1903 - 3536. Which is smaller: 2/7 or i?
i
Suppose 0 = -5*h - 8 - 2. Let d be (h + 1)/((-54)/(-4)). Let i = -1452 - -1453. Which is bigger: i or d?
i
Suppose 3*y - y = 10. Let a = 43/530 - -8573/2120. Which is bigger: y or a?
y
Let a be -3*(-80)/48 + (-50692)/10139. Which is smaller: -1 or a?
-1
Let k be 48/8 + (1 - 2). Let r(y) = y**3 - 5*y**2 - y + 6. Let d be r(k). Let m be (0 - (-2)/82)/((-41)/(-164)). Is d less than or equal to m?
False
Let n = -92 - -25. Let t = 736/11 + n. Are t and -1 equal?
False
Let y be 77/(-63) + 14/63. Let j = 3.7 - -28.3. Is y at most as big as j?
True
Suppose 42 = m + 20*m. Let a be (-65)/13*m/(-8). Is 2 smaller than a?
False
Let r be 155096/5916*(174 - (-3)/(-1)). Let y = r + -4483. Let x = y - -2969/5423. Is x less than -4/3?
False
Suppose -2*m = o + 14, -3*o = 2*m - o + 16. Let k be (-7)/((-42)/135) - m. Is k at least as big as 28?
True
Suppose 2*n - 4*n + 181 = -z, -z = -3. Suppose 65*d - 295 = -3*u + 61*d, 0 = -u + 4*d + 77. Is u less than n?
False
Let l = -0.3948 + 0.466. Let r = l + 0.0288. Is r greater than -24?
True
Let w be 3*(-3 - 20/(-5)). Suppose -g - 4*o = o - 20, -5*g + 34 = w*o. Suppose -g*m = -4*m + 16. Which is bigger: -17 or m?
m
Suppose 40*y - 63 = 19*y. Suppose 3 + 0 = -z - 2*c, 5*c + 21 = 2*z. Suppose 7 = 2*k + z. Is y bigger than k?
True
Suppose 1141*p + 8 = 1139*p. Suppose -4*b - 3*r = 1349, 3*b + 5*r = 2*r - 1011. Let v = 2344/7 + b. Which is smaller: p or v?
p
Let b = 31 - 45. Let i be 7*4*4*8/(-32). Let y be 8/i + (-8)/b. Is -1 at most as big as y?
True
Suppose 5*y = -19 + 9, 5*x - 4*y = -157. Let v be -3*(-12)/(-27)*x/(-24794). Which is smaller: -1 or v?
-1
Let u(a) = -a**3 - 18*a**2 - 26*a + 67. Let v be u(-18). Which is bigger: v or 534?
v
Let x be (18 - (-159)/(-9))*(-6)/(-13). Which is smaller: x or -1/159?
-1/159
Suppose 0 = 4*t - 7*t - 7792833. Let v be 7/(-21) - t/561. Let m = 4630 - v. Which is bigger: m or 1?
1
Let t = 872 - 866. Let n(p) = 6*p - 43. Let y be n(t). Let m = -7 - -1. Is y bigger than m?
False
Let o(r) = 4*r**2 - 443*r + 2684. Let j be o(101). Is j > -1256?
True
Let v be 15/50 + (12 - 7580/600). Is 70.19 <= v?
False
Let m be ((-168)/504)/((-1)/(-3)). Which is greater: m or -5.93?
m
Let k be 58/174*(-1 - ((-333)/327 - 0)). Which is greater: k or 1?
1
Let u = -8.1 + 9. Let s = u - 0.84. Let m = -1874/9 - -208. Is m smaller than s?
True
Let y be 4119/1464 - 2 - ((-72)/(-64) - 1). Is 0.12 equal to y?
False
Let l be (5270/(-140))/(1/(-142)). Let v = 5317 - l. Is -28 at most v?
False
Suppose -5*n = 21*r - 20*r - 318, -4*r + 2*n + 1206 = 0. Is r at least 307?
False
Let q be -1 + -1*5 - ((-126 - -15) + -27). Is q <= 12?
False
Suppose 0 = -3*q - 890 + 110. Let a = q - -259. Are a and 5/46 non-equal?
True
Suppose -4*j + 3*j = -1. Let n = -18225 - -200501/11. Which is smaller: j or n?
j
Let x be (-3419)/(-1 - 0*4*(-2)/16). Are 3419 and x non-equal?
False
Let z = -59 + 58. Let h be ((-39)/9)/(z/((-1)/1)). Is h > 2?
F