d = k - -45. Is d bigger than n?
False
Suppose -4*r - 86 = 2*b, -138 = -10*b + 13*b + 3*r. Which is greater: b or -2?
-2
Let g = -189 - -281. Which is greater: 3 or g?
g
Let v be (-8)/((-7)/((-35)/(-10))). Suppose 12*c + v = 14*c. Which is smaller: c or 4?
c
Let k be (-1*1*0)/1. Let v = -68000/89 + 156319540/204611. Let x = v - -1/121. Is k smaller than x?
False
Suppose 0*i + 5*i = 0. Let g = 1/1674 + 8359/18414. Is i bigger than g?
False
Let p(a) = 2*a - 4. Let b be p(4). Let c(h) = 7*h**2 + 5*h + 6. Let u be c(-1). Suppose -j - 2*f - f = u, j + b*f = -10. Which is smaller: -6/7 or j?
j
Let k = 3579 + -3582. Let n(t) = t**3 + 2*t**2 - 2*t - 3. Let z be n(-3). Which is bigger: z or k?
k
Suppose 4*g + 4*p = 108, p = -3*g + 88 - 11. Suppose 4*a - 67 = 5*w, -3*a + w = -17 - g. Is 14 at least a?
True
Suppose 2*v - i - 33 = 0, 59*v - 64*v - 3*i + 88 = 0. Suppose -5*b = -56 - 29. Is b greater than v?
False
Let h be (-60)/(-14) + 6/(-21). Let w be 2/(-6) - h/6. Let f = -15/2 + 7. Is f at least as big as w?
True
Let n(k) = -2*k + 26. Let w(q) = -3*q + 39. Let m(u) = 7*n(u) - 5*w(u). Let a be m(12). Is -1/9 bigger than a?
True
Suppose 250 = 9*l - 4*l. Suppose -6*h + 2*h + 2*o + l = 0, 15 = -h - 5*o. Is h greater than 10?
False
Let h be ((-11)/(-2))/(2/4). Suppose 44 + 11 = 4*k + n, -4*n - 14 = -2*k. Do k and h have the same value?
False
Suppose 3*i - 6 = 0, 5*i - 13 = 2*j + 1. Let x be 64/16 + 10/j. Is x != -4/9?
True
Let h(m) = -m**3 - 4*m**2 - 2*m + 8. Let w be h(-4). Let k = w - -16. Which is smaller: 31 or k?
31
Suppose -2*w - 4*b = 132, -8*w - 2*b - 422 = 50. Let n = 34 + -92. Does w = n?
True
Suppose 0 = -13*o - 4*o + 17. Is o != 1/776?
True
Let j = -123 + 122.98. Let s = j + -0.19. Is 2/5 <= s?
False
Suppose -3*h = j, 0 = j + 5*h - 3*h + 1. Let t be (80/25 - 2)*(2 - -3). Let i be -6*j/t + 3. Do i and 6 have different values?
False
Let d(s) = 2*s - 5. Let x(c) = -4*c. Let b be x(-1). Let g be d(b). Suppose -15 = -n + g*l, -l - 5 = -n - 0. Which is smaller: -2 or n?
-2
Let s be (5/((-35)/4))/((-2)/7). Suppose 2*o + 2*o = -5*n - 20, n - 10 = s*o. Which is smaller: -32/9 or n?
-32/9
Let b(t) = -260*t + 2 - 3 + 261*t - 1. Let v be b(-9). Is v > -10?
False
Let b be 0 + (402/(-67) - (-531)/89). Which is greater: 1 or b?
1
Let d be (1225/98)/(0 - (-1)/10). Do d and 125 have different values?
False
Let p(o) = -2*o**2 - 13*o + 67. Let i be p(6). Which is smaller: -82 or i?
i
Let y = 50 + -6. Let s = -38 + y. Is 2/5 greater than or equal to s?
False
Let i = -151 - -151. Suppose -5*u - 121 + 416 = -2*n, -5*u - 2*n + 295 = 0. Which is smaller: i or u?
i
Suppose -p + 2*p - 5*x = -23, x = -5*p + 15. Let o be (-112)/63 - -1 - p/9. Is 1/59 less than or equal to o?
False
Let k be 4/34 + (-16984)/7667. Is -3 >= k?
False
Let z = -13 - -34. Let h = -39 - -38. Which is greater: h or z?
z
Let n = -13 - -9. Let a = n - 1. Which is smaller: -1 or a?
a
Suppose -2166 + 550 = 4*h + 4*a, 3*h + 1194 = 3*a. Which is bigger: h or -402?
h
Let o be (1/(-1))/(-1 - -2). Let j = -789/5 + 158. Is o less than j?
True
Let j be 53243/8*608/(-6600). Let h = j + 3679/6. Let x = h + -8/55. Is 1 equal to x?
False
Suppose -n + 189 = 4*c, 3*n + n = -c + 36. Suppose -y + 9*y = c. Is 50/9 at most as big as y?
True
Let p(c) = -15*c + 360. Let r be p(-27). Which is greater: r or 764?
r
Suppose 0 = -3*p - m - 95, 3*m - 51 = 5*p + 126. Suppose 2*q + 118 = -4*o, -o - 5*q - 9 = -2. Which is greater: o or p?
o
Let f = 0.043 + 8.957. Let d = -16.3 + 25.2. Let b = d - f. Which is bigger: b or -8?
b
Let l = -2.8 - -0.4. Let z = 0.0309 - 1.0309. Which is smaller: l or z?
l
Suppose -3*y - 2*f = -25, y - 10 = 2*y - 3*f. Suppose 32 = 4*x + g - 3*g, 4*g = y*x - 46. Is x != -2?
True
Let y = -0.0518 - -0.1218. Let o = -1/12 + 1/3. Which is greater: o or y?
o
Let i = 0.5 - 0.45. Let y = -0.45 + i. Let s be ((-2)/(-4))/(44/(-24) + 3). Is y greater than or equal to s?
False
Let k be (-1 - 0/(-3))*6. Let a be (0 + k/4)/(-12). Is 0 greater than a?
False
Let v = -41 - 17. Let d = 68 + v. Which is smaller: d or 1?
1
Let x = -76.3 + 72. Let m = x + 4.4. Let f = 14 + -10. Is f != m?
True
Suppose 12*m = -2280 + 84. Is m at most as big as -186?
False
Let z = 56 - -60. Let x = z + -74. Suppose -4*t + 0*t - m + x = 0, 7 = t + 2*m. Which is smaller: 12 or t?
t
Let m = -184 - -428. Is m at least as big as 243?
True
Let s be -4 + 1 + 5/(-2)*14. Is s <= -40?
False
Let f = -48.9 + 28. Let m = f + 21. Which is bigger: -0.7 or m?
m
Let b = -1012.91 + 999. Let d = b + 14. Let t = -1353 - -1352.9. Which is bigger: d or t?
d
Let k = 0.6 + -0.92. Let c = -309.08 + 309. Let r = k + c. Is 2/9 equal to r?
False
Let m = 310 - 309. Is m smaller than -6/7?
False
Let c = 0.03 + 0.77. Let y = 0.8 - c. Let s(o) = o**2 - 5*o - 1. Let v be s(4). Is y equal to v?
False
Suppose -847 = -4*g + z, -509 + 73 = -2*g - 2*z. Is g <= 212?
False
Suppose 0*m - 5*m = -20. Suppose -3*x + 8 = -m*x + 5*u, x - 3*u + 4 = 0. Which is greater: 12/5 or x?
12/5
Let r = 238 + -236. Is 4 < r?
False
Let d = -4 - -418/105. Which is greater: -1 or d?
d
Let b = 199.46 - 202. Let n = b + 0.54. Is n at least -16?
True
Let n = -3 - -5. Let q = -0.16 - 5.84. Let v = q + 7. Do v and n have different values?
True
Suppose -395*q + 400*q = -200. Do q and -41 have different values?
True
Suppose -2*u - 9 = -f + 22, 3*f - 4*u = 103. Let i = -3335 + 3376. Is i bigger than f?
False
Let r be ((-11)/44)/(1/4). Let s be 1/((-3 + 4)*r). Let n be ((-8)/60)/(2/6). Which is greater: n or s?
n
Let i = 152.1 + -433.1. Which is greater: -4 or i?
-4
Suppose 8 = -h + 5*h. Suppose -2*p = 3 + 1. Let f be (1/2)/((-1)/p). Is f equal to h?
False
Suppose -4*k - 4*n = 56 + 16, -2*k - 44 = -2*n. Let h = k - -19. Is -6/17 at least h?
True
Let o = -760 - -759.9. Which is smaller: -90 or o?
-90
Let d = -31547014/65 + 485472. Let r = -662/5 + d. Are 2 and r equal?
False
Let n = 2 - 2. Let c = -38 + 30. Let f be (6 + 56/c)/(2 - 1). Is f at least as big as n?
False
Suppose x + 4*a = -18, -2*x - 3*x = 4*a + 90. Let i be 4/10 - (-1431)/(-15). Let u = 78 + i. Is x equal to u?
False
Suppose 115 = -4*r + 3. Let b be (-2)/(-9) + 998/(-36). Let g = b - r. Is -0.2 at least g?
False
Let x = 5674243/2529730 + -6/36139. Let s = 1/10 - x. Is -1 greater than s?
True
Let f be (-150)/(-4)*(-2)/(-3). Let s be (4/(-6))/(f/(-90)). Suppose -3*j = -3, -t - 2 = -6*j + 3*j. Which is greater: s or t?
s
Let q be (60/3)/((-8)/20). Let m be q + 16/4 + 1. Is m less than or equal to -46?
False
Let m = 0.2 + -1.2. Suppose -4*x + 19 = -h, 4*x - 4*h + 26 = 5*x. Is m at most as big as x?
True
Let g be (-21)/(-40) + (-4)/10. Let n be -2 - (0 - 6/3). Suppose k + 2*k = n. Is g bigger than k?
True
Let r be (-6 - (-25)/5) + 1. Let y = 21/2 + -151/14. Are r and y unequal?
True
Let d be 0*(-4)/(-13 + -3). Let f be 88/2520 + (-2)/10. Let w = f - 2/35. Are w and d equal?
False
Suppose 0 = 28*q - 24*q + 8. Let k be q/6 + (-100)/(-228). Is k at most as big as 0.1?
False
Suppose -m + 5 = -6*m. Let f(b) = 50*b**3 - 2*b**2 + 2*b + 3. Let z be f(m). Which is bigger: -52 or z?
z
Suppose 4 + 5 = 3*i + 3*r, -2*i = -5*r - 13. Let l = i - 1. Let d be (-4 - (-2 - 0))*-1. Is d >= l?
False
Let y be (-60)/112 - (-2)/8. Let a = 0.202 + -6.202. Do a and y have the same value?
False
Let i(f) be the second derivative of -f**7/2520 + f**6/240 - f**4/6 - 5*f. Let s(t) be the third derivative of i(t). Let w be s(3). Is w greater than 2?
False
Let n = 8.2 - 1.2. Let l = -18 + n. Let f = l + 11.3. Is -0.1 bigger than f?
False
Let p be 24/(-36)*6/4*-2. Does -3 = p?
False
Let b be -100 - (0/2 - 4). Let d = b - -476/5. Which is bigger: d or 0?
0
Let u = -59 - -62. Suppose -u*f - 37 = -q, -4*f = 3*q - q - 64. Is 32 greater than q?
False
Let i be 10/52*8/(-50). Suppose -2*t + 3*a - 5 = -0*t, 5 = 5*t - 4*a. Suppose -t*d + 8 = -3*x, 4 - 2 = 4*d + 2*x. Which is greater: d or i?
d
Let i = -69.4 + 91. Let n = 6.6 - i. Is -1 less than or equal to n?
False
Let x = 1 - -4. Let y = 960 + -952. Which is greater: y or x?
y
Let z = -2/31 - 25/93. Let f = -0.15 - -0.38. Let r = f + -0.25. Which is smaller: z or r?
z
Suppose 0*r + 25 = -2*c - 5*r, -r = 5. Suppose c = 10*b - 9*b + 48. Is b > -48?
False
Let y(p) = 7*p + 27. Let m(r) = 3*r + 13. Let i(l) = 5*m(l) - 2*y(l). Let z be i(-7). S