
d
Let p = -3042 - -3474. Is 1300/3 at most as big as p?
False
Suppose -2*x + x - 5*m + 18 = 0, 4*m + 90 = 5*x. Let r be (-12)/48 + 21/4. Suppose 68 = r*q - q. Is q >= x?
False
Let k = -7022 + 7048. Which is smaller: -91 or k?
-91
Let d = 82 - 80. Suppose d*z = -557 + 455. Is -52 greater than or equal to z?
False
Suppose -5*m + 213*m - 173264 = 0. Is m at least as big as 834?
False
Let i be (-9)/(2185920/50765716) + (-4)/30. Let n = 51/4048 + i. Let b = n + 209. Which is greater: -1 or b?
b
Let q be (-264215)/30 - ((-15)/30)/(2/2). Does -8806 = q?
False
Let p be (-2)/8*-21*(-25)/(-1350). Let m = p - -43/24. Which is bigger: m or 3?
3
Let a = 525 + -27. Let f be ((-2)/18)/(a/(-9)). Are f and -1 unequal?
True
Let m = 0.92 - -40.08. Let c = 4 + m. Let g = c - 34. Which is greater: g or 1/2?
g
Let l(p) = 3*p**2 + 3*p - 3. Let k be l(3). Suppose 5*d - 4 - 117 = 4*m, 3*m + k = d. Let j be 14 + ((-448)/(-80) - 18) + -1. Which is smaller: j or d?
j
Suppose 40 = 2*v - 2*l + 866, -5*v - l - 1999 = 0. Suppose -r + 6*r = -2010. Is v at most r?
True
Let l = -17559 + 17452. Let m be -126*7/(98/12). Is l smaller than m?
False
Let a = 4.41 + 2.29. Let c = a - 6.7. Which is smaller: 71/2 or c?
c
Let h = 4077 - 4154.73. Let k = 2.72 + -80.72. Let b = h - k. Which is smaller: b or -2?
-2
Let h = 250 + -266. Let n be ((-21)/h)/(6/8). Which is smaller: n or -4?
-4
Let y = -5/14 + 11/21. Let t = 19/42 - y. Which is smaller: t or -171/4?
-171/4
Suppose -19*z + 3*h - 1141 = -18*z, 2*z + 3*h = -2300. Is -6877/6 != z?
True
Let k = -8154 + 8196. Do 51 and k have the same value?
False
Let t(n) = -n + 5. Let p be t(5). Suppose 31 = -p*g + g. Let m be (1736/21)/4*(-3)/(-2). Is m equal to g?
True
Let t = 4285/3173 - -3/167. Let z = t - 471/247. Is z at most 0?
True
Let u = 2 + -14. Let n be (100/u)/(-5) - 0. Suppose -12 = -8*k + 4. Is n at most k?
True
Suppose -43*g + 61 + 62 = 37. Which is greater: g or 27?
27
Let a = 154 + -141. Suppose 4*z = -m + 11, 4*z + 9*m - a = 10*m. Which is smaller: -13.7 or z?
-13.7
Suppose 4*g - 20 = 4*o + 2*g, -o = 3*g - 2. Let h(i) = i**2 + i - 1. Let a be h(o). Which is smaller: 9 or a?
9
Let k be ((-495)/95 - -5)*1/(-286)*-2. Is 1 > k?
True
Let q be ((-7282)/(-33))/(16/6 + -2). Let r = 328 - q. Is r >= 0?
False
Let i = -8942 + 4903. Which is smaller: -4038 or i?
i
Let y be (16148/(-55))/((-8)/(-60)). Is -2199 greater than y?
True
Suppose -11 = -4*s - 23. Let r = -45 + 251/6. Which is bigger: s or r?
s
Suppose -3*u = -6*b + b + 67, 0 = 3*u + 2*b + 95. Suppose -14*o - 155 = 15*o - 24*o. Which is smaller: u or o?
o
Let s(z) = 9*z**3 - 3*z**2 - 7*z + 15. Let k be s(3). Let w be ((-36)/2)/(k/(-12) + -2). Which is smaller: w or 0?
0
Let c be 1743/126 - (1/6)/(-1). Let u = c + -11. Suppose -96 = 4*r + 4*o + o, 0 = r + u*o + 31. Is r at most -20?
False
Let i be 292/2*(-3)/(-1 - 5). Let c be (41 + -36)/(5/74). Which is smaller: i or c?
i
Let k be (-2)/357*17 - 69/(-63). Let m be 1/(-2) + 174/388. Is m bigger than k?
False
Let d = 257 + -188. Let j be 2 + (-4 - d/(-87)). Is 0 less than or equal to j?
False
Let o = -1/472 - -957/6136. Let g = 920 + -919.9. Is g less than o?
True
Let z(r) = 23*r**2 - 21*r - 17. Let m be z(6). Let v = m - 686. Which is bigger: -1/757 or v?
-1/757
Let v(z) = -29*z - 2. Let h be v(2). Let i(g) = g**3 - 8*g**2 + 11*g - 82. Let n be i(7). Do h and n have the same value?
False
Suppose -3*x = 3*h + 3, -9 = -3*x + 6*x + h. Let b be (-4*x/(-8))/((-20)/(-15)). Which is bigger: 0.059 or b?
0.059
Let l be (-3)/(-4)*(122 - -4). Suppose -506*r = -501*r - 2*o - 481, -3*o - 484 = -5*r. Which is greater: r or l?
r
Let k(o) = 7*o + 36*o**3 - 35*o**3 + 7*o**2 - 199 + 206. Let d be k(-6). Is 6/103 not equal to d?
True
Let u be 2/(-5 + 42*(-4)/(-32)). Suppose i + 2*i = -u*i. Are i and -1 equal?
False
Let p = 186 + -181. Let w be (-5 + (-304)/(-60))*p. Which is smaller: w or 8/23?
w
Let j be (-169)/(-8) + 22/(-176). Suppose t + p = 6*p - 33, -p = -2*t - j. Which is smaller: t or -5?
t
Suppose 0 = -96*y + 88*y - 24. Let o be (2/(-13))/(160/(5 - y)). Let z = 1 - 1. Is o smaller than z?
True
Let q = 578.0766 + -578. Is q greater than -2/5?
True
Let h be (-40)/(-10) + 28/(-4) + 3 + -7. Which is greater: h or -70/9?
h
Let d = 27 - 28. Let b be (8/6 - (-22)/(-3)) + (-1880)/(-316). Is b smaller than d?
False
Let k = -189072/170845 - 2489401541/400802370. Let t = 249/34 + k. Which is smaller: -1 or t?
-1
Let m(o) = -o**2 + 5*o + 26. Let b be (-8 + 5)*1 - 22/(-2). Let c be m(b). Suppose 0 = -c*u + u + 22. Is 21 >= u?
False
Let d = 8292.858 - 8293. Is d at most as big as 0.9?
True
Suppose 5*i + 7 - 14 = 3*n, -5*n + 3*i = 1. Let j be (n + -5)/((-558)/(-31)). Is j less than or equal to 2/33?
True
Let d = 244 - 142.5. Let m = d + -92. Which is smaller: -1 or m?
-1
Let k = -55.59 + -1.41. Let p = k - -27. Let c = -86 - -85.9. Which is bigger: p or c?
c
Let r(q) = -q**3 - 3*q**2 - 3*q + 1. Let g be r(-3). Let v be -2*5/g + 2. Let w be ((-3)/9)/((-20)/12). Is w at most as big as v?
True
Suppose 75*l + 573 = 76*l. Let x = -3439/6 + l. Let v(o) = -o + 9. Let d be v(8). Which is smaller: x or d?
x
Suppose 2284*j - 6996 = 2295*j. Which is greater: -635 or j?
-635
Let f(h) = 284*h - 3406. Let m be f(8). Are m and -1134 equal?
True
Let v be 3 - 3 - 388/(-72) - (-70)/(-28). Which is smaller: 2 or v?
2
Let h = -441.97 - -440. Let m = h - -3.97. Is m at least as big as 17?
False
Suppose -4*t - 12 = 0, -u = 3*t - 5*t - 6. Let z be ((-8360)/48906)/((-4)/(-3)). Is z at least u?
False
Suppose 0*r = -4*r + 652. Suppose -9*l + 246 = 39. Suppose 4*k + 0*k = u + l, 4*k = -5*u - r. Is -30 smaller than u?
False
Let l = 1019175/17 - 59975. Which is smaller: -25 or l?
-25
Let q be ((-3)/9)/(3/(-144)). Suppose q + 204 = -10*j. Let n(y) = -3*y + 6. Let h be n(j). Is 73 greater than or equal to h?
True
Let c be 17/51 - 72/247. Let d = -2/57 - c. Suppose 0 = y - a + 3*a - 3, 0 = -y + 4*a - 3. Is y not equal to d?
True
Let w = -139807/11 + 12420. Are -291 and w equal?
False
Suppose -2*s = p - 18, 4*s - 3*p = 60 - 34. Are -62 and s non-equal?
True
Let o = 17110/3 + -5704. Let x(n) = 35*n + 6. Let a be x(-4). Is o at least a?
True
Let s(f) = -f**2 - 14*f + 3. Let v = 139 + -150. Let c be s(v). Is c less than or equal to 35?
False
Suppose 2*a = 2*r + 5*a + 135, 0 = 3*r + 3*a + 195. Let s = 115 + r. Let o be (-22)/s - (-2)/5. Is 2/23 > o?
True
Let m = -59 - -58.784. Let k = 0.116 + m. Is 18 at least k?
True
Let c be ((-6)/228)/((-2)/(-180808)). Suppose -79*p + 82335 = -105685. Let d = p + c. Which is greater: 0 or d?
d
Let c be 10/2 + -2 - (-8 + (-984924)/(-89550)). Is -1 less than c?
True
Let h = -265.8 + 266.5. Which is smaller: 13.7 or h?
h
Suppose 6 = 3*a - j - 1, a = -2*j. Let w(o) = -o**3 + 11*o**2 - 16*o - 15. Let s be w(9). Let i be 824/1088 - (s - (-50)/(-16)). Which is bigger: a or i?
a
Let q(l) = 456*l - 2703. Let n be q(19). Which is bigger: 5960 or n?
n
Let c = -11 - -19. Suppose 2*q + 5*o - 129 = 0, -q - 3*q + 273 = 5*o. Suppose q = 18*d - 6*d. Which is smaller: d or c?
d
Let b(z) = 291*z + 21. Let w be b(6). Let i be 9/3 - -1*w/(-7). Let s = i - -249. Which is greater: -1/4 or s?
-1/4
Let q(y) be the first derivative of 5*y**2/2 - 25*y + 48. Let f be q(5). Suppose f = 9*c - 641 + 2. Which is smaller: c or 2/7?
2/7
Let s = 861 - 836. Let l be (8/(-5))/(10/s). Is 4 at most as big as l?
False
Let h(p) = 3*p**2 + 3*p. Let i be h(-3). Let t = -50 - -36. Let x(w) = -w**2 - 15*w + 5. Let v be x(t). Which is smaller: v or i?
i
Suppose 4*q - 2 = 3*q. Suppose -1635*h = -1645*h + 20. Suppose -f + 1 = 0, -h*g + 3*g - 5*f = -q. Which is smaller: g or 7/3?
7/3
Let i = -50 - -64. Let r = 13.8 - i. Let u = -1 + 5. Is u less than or equal to r?
False
Let z = 67069/618 - -29/206. Which is greater: z or 110?
110
Let r(i) = 7*i - 183. Let g be r(29). Suppose -3 = -g*y - 23. Do 2/485 and y have different values?
True
Suppose 0 = 5*v + 402 + 1078. Let n = -4141/14 - v. Suppose 0 = -3*a - 0 - 3. Are a and n unequal?
True
Suppose 293*t - 676984 = 2489331 + 1974956. Is 17547 >= t?
True
Let f(o) = -o - 6. Let c be f(-8). Let q be -2 - (-92 - c)/(-2). Let y(s) = -1736*s + 12103. Let h be y(7). Is q less than or equal to h?
True
Let o = 917.51 + -2.51. Let l = -921 + o. Is 86 smaller than l?
Fa