r -1?
-1
Let v = -3 + 3. Suppose v*d = -3*a - d + 1, 0 = a - 2*d - 5. Let l be (-25)/35 - (-688)/336. Which is bigger: l or a?
l
Let u(w) = w**3 + 19*w**2 - 25*w - 37. Let q be u(-20). Suppose g - 6*g + v = -q, 54 = 4*g + v. Let n be ((-42)/(-24))/(1/8). Is n <= g?
False
Suppose -3*k = 4*a - 556, 4*k + 358 - 1100 = -5*a. Let b be (4 - -21*(-36)/k)/2. Which is greater: 0 or b?
0
Let h = -3530 - -14119/4. Do h and 1/18 have different values?
True
Let n(i) = -i**3 + 16*i**2 - 35*i + 100. Let a be n(14). Is 13 equal to a?
False
Suppose 2 = -4*k - 5*n + 48, k - 11 = -n. Let v = -21 + k. Let s(t) = -t**3 - 8*t**2 - 11. Let b be s(-8). Is v greater than b?
False
Let m(r) = r**2 + 5*r - 24. Let d(t) = -4*t**3 - t**2 + 2*t + 2. Let o be d(-1). Let y be m(o). Which is smaller: -4/37 or y?
-4/37
Suppose 5*r + 20*n + 165 = 24*n, 4*r - 3*n + 131 = 0. Is -12 less than r?
False
Let k(t) = 12*t + 400. Let r be k(-33). Let i be (-116)/(-35) - (-18)/45. Are r and i equal?
False
Let y be (6/3)/2 - (-7809)/99. Let x = y - 238/3. Let f(l) = -5*l - 15. Let k be f(-3). Is k at least x?
False
Let b = -6213 + 43493/7. Which is greater: -346 or b?
b
Let k(i) = -163*i + 811. Let d be k(5). Which is bigger: 21.1 or d?
21.1
Suppose 4*g - 3*u + 164 = 0, 28*g - 24*g - 2*u = -156. Let w = -8 - 0. Do w and g have different values?
True
Let o = -101/25 - -93/25. Is o equal to 2/29?
False
Suppose 4*f = 4*d - 260, -11 + 3 = -2*d. Is -62 less than f?
True
Let t = -73.17 + 73.1342. Which is greater: 0.02 or t?
0.02
Suppose 33*m - 37*m + 32 = 0. Let u(p) = -p + 14. Let n be u(m). Let d be (4/n)/(14/(-3) + 1). Is -2 greater than or equal to d?
False
Let t = 296 - 541. Let i = t - -3188/13. Let b be (-2)/4 + (-1)/(-2). Is i != b?
True
Let o = 49094 - 48506. Are 590 and o equal?
False
Let l be 6/9*54/9. Suppose 0*u + 4*h + 2 = -2*u, -l*u + 20 = -4*h. Suppose u*s = 4*p - 79, s + 3 + 2 = -4*p. Is -21 < s?
False
Let h = 409.9704 + -0.1704. Let i = h - 410. Which is smaller: i or 0.5?
i
Let f = -46499729 - -4324408951/93. Let h = f + 708. Let k = -3 + 2. Which is bigger: k or h?
h
Suppose 44 = 192*a - 6*a - 142. Which is bigger: a or -13/120?
a
Let g = -316.7598 + 2.5348. Let a = -314 - g. Which is bigger: a or 1?
1
Let l be ((-2)/489)/((-78)/1521). Let h = l + 11182/815. Is h smaller than 14?
True
Let v = 0 - -1. Let s be 8/62 + 1 - v. Let m = -13155 + 13154. Is s at most m?
False
Let f(v) = -3*v**2 + 4*v + 1. Let l be f(0). Suppose -4*y + l = -3*d, 3*d + 3*y - 2*y - 4 = 0. Do 0.4 and d have different values?
True
Suppose -2*u + 14 = 4*m, u = -4*m - 2*u + 11. Suppose w = -2*t + 4*w + 22, -w = -m*t + 29. Let z be 62/((4/t)/((-24)/(-20))). Is 92 >= z?
False
Let m(u) = u**3 - 57*u**2 - 103*u + 2611. Let y be m(58). Which is smaller: y or 70/33?
y
Let y = -1307 + 1307.1. Is y >= 44.7?
False
Let q = 3415 - 3418. Let u = -2.5 + 3.18. Which is bigger: u or q?
u
Suppose -4*v = 241*v - 60*v. Let k be (2/(-10))/((-19)/(-3)). Is k >= v?
False
Let f = -84 + 99. Suppose -5*j = -3*o + 133, f = j + 20. Suppose -3*w + 52 + 56 = 0. Is o smaller than w?
False
Let v be (2 + -4 - 15)*-1. Suppose -9*p + 1 = -v. Suppose 3*f - 7*f - p*m - 42 = 0, -5*m = 5. Which is bigger: f or -6?
-6
Suppose 2*z + 2*j + 18 = 0, j + 18 - 17 = 0. Let k be (0 - z)/(0 + -8 - -6). Do 12 and k have different values?
True
Let r = -553573/111 + 4987. Is -1 less than or equal to r?
True
Let s = -1 + 1. Let y = -22571 + 1376826/61. Which is greater: s or y?
s
Let s be (-3)/9 + 7/((-105)/(-50)). Let u be (-354)/(-119) + 23/((-782)/4). Is s < u?
False
Let k be 16724/1017*(-3)/23. Is -3 greater than k?
False
Let r = -200.75 + 108.75. Do 6/17 and r have the same value?
False
Let v be (-4)/40 - (-7)/(-30). Let g = -817 - -777. Is v less than g?
False
Let f be 820/492 + (-4)/6. Is 11/765 smaller than f?
True
Let v = -156 - -140. Let z = -1 + 12. Suppose -4*k - 57 = z. Which is smaller: k or v?
k
Suppose -r + 5 = 4*r. Let w = 61054/429 + -4816/33. Let q = w + 39/11. Which is smaller: r or q?
q
Let u = -18 + 18. Suppose u = -3*h + 5*v + 142, 0 = -4*h - 0*v - 2*v + 198. Let o = 32 + 18. Which is smaller: h or o?
h
Let h be ((-222)/6475)/(24/(-56)). Which is smaller: h or 4/19?
h
Let p = 9.54 - -2.66. Let u = -12.2 + p. Which is smaller: u or 4.7?
u
Let y = 0.42 + -0.32. Let k = 274.2 - 282.7. Is y at most k?
False
Suppose i + 15*i - 1925 = 5*i. Let w be (2 + -10)/(3/(-66)). Is i <= w?
True
Suppose -4*d + 2297 = 3*m, -569 = 196*d - 197*d + m. Which is smaller: d or 576?
d
Let f = -35 - -38. Suppose f*s = -5*s + 72. Suppose -4 + s = p. Is 10 at least as big as p?
True
Let l be (16/(-24))/((-8)/(-18)). Let s = -0.0182 - 0.0218. Do l and s have different values?
True
Suppose -188 = 4*w - 1580. Let n = 349 - w. Which is greater: -6/65 or n?
n
Let y be 3/63*3 + (-1496)/(-14). Let x = y - 536/5. Let c = 6 - 6. Which is bigger: x or c?
c
Suppose -12*y + 1955 = 351 - 352. Which is smaller: 159 or y?
159
Let k(o) = 3*o**2 - 64*o - 46. Let f(x) = 2*x**2 + 52*x + 20. Let m be f(-26). Let n be k(m). Which is bigger: n or 2/5?
2/5
Let w = -1/12138 - 20803/60690. Let b = 5 + -4. Which is smaller: w or b?
w
Let z be 1 + (-17)/15 + (20482392/(-360))/(-49). Is 1159 not equal to z?
True
Let b = -3792 + 3757. Is -2/11 at least b?
True
Let u = -271 + -236. Let d = 516 + u. Which is bigger: 0.5 or d?
d
Let b(y) be the third derivative of 1/120*y**6 + 1/10*y**5 + 9*y**2 + 0 + 0*y - 2/3*y**3 + 1/3*y**4. Let x be b(-4). Do -11 and x have different values?
True
Let p be 67/(-268) - (-42055)/(-60). Is -701 less than p?
False
Suppose 4*u + 19*u = -93*u - 142680. Is u at least as big as -1230?
True
Let c = -443 + 241. Let t = c - -201. Which is greater: 1/24 or t?
1/24
Let u = 1036/9 + 2123/90. Which is bigger: u or 138?
u
Let h = -2196309/379 + 5795. Let s = h + 4083/350954. Is s > 1?
False
Let y = -15463 + 15524. Let m = -0.2 + 0.4. Is m bigger than y?
False
Let j = 2637/5 - 55367/105. Which is smaller: j or -1/13?
-1/13
Suppose 2952 = p - 4990. Let a be (-5890)/p - 2/(-19). Is 1/4 at least a?
True
Let h = -23198 + 24045. Is h <= 850?
True
Suppose 1838*r + 1834*r = 3680*r - 9048. Which is bigger: r or 1128?
r
Let w = -197 - -293. Let t = -6.491 + 6.491. Which is smaller: w or t?
t
Let k be 136/(-4)*908 - 117/39. Which is bigger: -30874 or k?
-30874
Let i be (286/10 + -1)*-5. Let d = 173649 - 173789. Is i at most as big as d?
False
Suppose m - 3 = 4*m. Let f be (-4)/(-12)*-1 + 29/(-111). Is m smaller than f?
True
Suppose 0 = -x + 3*x - 4. Let m be -1 + (-4)/(-2) - 22/(-18). Which is smaller: x or m?
x
Let v = 1567 + -1799. Which is smaller: v or -228?
v
Suppose -508*y + 513*y - 1069 = -3*h, 0 = -4*h - y + 1431. Are h and 359 nonequal?
True
Let f = -2188418/87087 - -980/39. Let b = f + 284/11803. Which is smaller: b or 1?
b
Suppose 3*a + 2*w = 10, 4*a - 12 = -w - 2*w. Suppose 2*d + a + 4 = 4*y, -4*d - 14 = -5*y. Suppose 5*n + y = 7. Is 3/8 at least as big as n?
False
Let r be (-66 - 1)*-1*-1. Let u = 227556 - 227625. Which is smaller: r or u?
u
Let d(c) = 257*c + 113. Let n be d(2). Is n equal to 627?
True
Let p be 25/(-10)*((-6)/(-2) - -3). Let i be (-9)/3 + 20/(-12)*p. Let b(u) = 12*u - 3. Let t be b(2). Which is smaller: i or t?
t
Let h be (-8)/(-44) - (-49663661)/9240. Let j = h - 43039/8. Let g = -32/7 - j. Which is greater: g or -2/7?
g
Let a = 12 - 8. Suppose -3*w = a - 1. Let p(f) = -f**3 + 9*f**2 + 138*f - 28. Let b be p(17). Is b at most as big as w?
False
Let q be (240/108)/((-505)/(-60)). Which is bigger: q or 0?
q
Let s(n) = n**2 - 11*n + 20. Let k be 7*2/(-4)*228/(-133). Let q be s(k). Which is smaller: q or -8?
q
Let v = 3.2 - -45.7. Let f = 50 - v. Is 5 at most as big as f?
False
Let y = -1.0043 + 0.0563. Let m = -0.052 + y. Which is smaller: m or 0.81?
m
Let x be (-127985)/(-130) + (-4)/(-8). Which is greater: x or 988?
988
Let r = -7/3618 - 1164157/18090. Let t = r - -88/45. Which is bigger: t or -61?
-61
Suppose -3*f - 28 = -i + f, -4*f = 5*i - 20. Suppose 4*w = j - 27 + 11, -2*w = -8. Let a be 10/i*j/(-8). Are a and -5 nonequal?
False
Let s(z) = -z**3 - 29*z**2 + 28*z - 67. Let b = -717 - -687. Let v be s(b). Which is greater: -46/7 or v?
-46/7
Let x(h) = 408*h + 1. Let c be x(2). Suppose 0 = -12*l + c - 2641. Do l and -153 have the same value?
Fal