-11)/(1 - (-111)/(-110)). Is -661 greater than h?
False
Let d = 7027 - 7041. Which is smaller: d or -6?
d
Let a = 9399 + -9252. Which is bigger: 170 or a?
170
Let q = 26 + -22. Suppose 0 = -q*o - o + 45. Suppose -4*d - 5*a = -o, -4*d - 4 + 40 = -4*a. Which is greater: -2/5 or d?
d
Let o = -0.04673 + -52.95327. Are o and -25 non-equal?
True
Let p = 7 + -3. Let x = p + -3. Let j be -3*((-13530)/1035 + 13). Is j greater than x?
False
Let t be 3/2*(-14)/(-3). Let k(z) = -6*z + 2. Suppose 84*l = 77*l - 7. Let i be k(l). Is t smaller than i?
True
Let m = 3408346/39 + -87387. Which is greater: m or 5?
m
Let t = -32 - -26. Suppose 4*s - 3*g - 17 = 0, 4*s - 3*g = -4*g + 5. Let p be -12*s/(-182) - (-74)/481. Which is greater: p or t?
p
Let r be 190116/18468 + (-1 - 4). Let h = r + -102/19. Is h at least as big as 1?
False
Suppose 3*m - 1825 - 3641 = 0. Which is smaller: 1821 or m?
1821
Let k be (-1585056)/4752792 - 1/(-3). Is 0 at most k?
False
Let k be ((-110463)/(-331443) - (26/6 - 4))*-7. Is 0 greater than k?
False
Let i = -8105 - -16221/2. Which is smaller: 235 or i?
i
Suppose -4*x = 5*i - 16, -i - 2*i = -5*x + 20. Suppose -4*h - 485 = l - i*l, l + 365 = -3*h. Which is smaller: -121 or h?
-121
Let q(x) = x**2 - 4*x + 3. Let r be q(4). Let v be 19/((-114)/(-60)) + r. Which is smaller: 5 or v?
5
Suppose 4*q - i - 4 = 1, -4*q + 11 = i. Let w be ((-9)/(-6))/((-315)/(-156) - q). Suppose -88 = -b - 9. Which is smaller: b or w?
w
Let n = 17354 + -17355. Which is smaller: -2/5607 or n?
n
Let z = -3 - -2. Suppose 89 - 584 = 33*u. Which is greater: z or u?
z
Let t = 41615 - 290418/7. Let q = t + -127. Which is bigger: q or -68?
q
Suppose 0 = 3*b + 5*h + 140, 230 = b - 6*b - 5*h. Let q = 36 - b. Suppose 2*m = -0*m - 5*s + 170, -3*s + 86 = m. Which is smaller: m or q?
m
Suppose -20*h = -8*h + 780. Let n = h - -66. Let o be ((-12)/8)/(n/2). Are -6 and o equal?
False
Let q = 12775.824 - 12776. Which is greater: q or 1/29?
1/29
Suppose -2 = 3*z + 16. Let m be (z/5)/((-112)/(-35) + -3). Let a be 0/2 - 3*m/9. Is a less than or equal to 2?
True
Let n = -0.03194 + 1.25194. Are -3/7 and n equal?
False
Let o = 0.365 - 0.295. Let a = 8 + -9.4. Let g = a + 1. Is g less than o?
True
Suppose -18 = -3*r, 2*z - 102*r - 154 = -105*r. Are z and 203/3 equal?
False
Let g = -100 - -65. Let o be (-46)/22 - g/385. Do 5 and o have the same value?
False
Let h = 477621/11125844 - 1/29828. Is 0 != h?
True
Let i be 2/(-4) + (-3)/(-2). Let h = -163937006/29 - -5651927. Let g = h + 1073. Which is smaller: g or i?
g
Let k(f) = -f**3 - 5*f**2 - 3*f - 1. Let q be k(0). Which is smaller: -2/4653 or q?
q
Suppose 0 = -3*u + 12, -z - 4*u + 82 = z. Let t = -32 + z. Let i be (t - (1 + -3)) + 3. Does i = 39/7?
False
Let t = 38.74 - 43.4. Let x = 3.76 + t. Is x equal to -0.11?
False
Let c = 1 + 1033. Suppose 44*p = c - 14322. Is -301 > p?
True
Let v = 18.6 - 35.2. Let f = 16.5 + v. Let t = -0.87 - -0.07. Is t at least f?
False
Let n = -43 + -33. Let c(l) = 2*l**3 + l**2 + 38*l + 1. Let b be c(0). Is b equal to n?
False
Let i be 1/((-5208)/155 + 34 + (-6)/14). Let o = -2 + -33. Is i greater than o?
False
Let w(h) = -h**3 + 4*h**2 + 6*h - 3. Let z be w(5). Suppose 0 = -5*a + z + 3. Let t(x) = x**3 + 2*x**2 - 7*x + 9. Let r be t(-4). Which is greater: a or r?
r
Let v be 1/(-9) + (-70160)/(-13680). Which is bigger: 5 or v?
v
Let x(z) = -67*z + 1277. Let f be x(30). Is f at least as big as -733?
True
Suppose -171 = -3*d + 3*f + 42, 3*f = -4*d + 263. Suppose -d = 4*n + 80. Let h be (-246)/6 + 5 - 2. Is n at least as big as h?
True
Suppose 209*p - 14 = 202*p. Let y be (p*(-165)/(-10))/(2/14). Is y <= -1?
False
Let c be (4 + 1242/45)*-5. Let f be 54/72 - c/56. Which is smaller: 4 or f?
f
Suppose -5*c - 1169 = r - 11325, -5*c + 10152 = 2*r. Let m be (-8)/(c/3)*7/9. Let i = 30847/1524 - m. Is 21 <= i?
False
Let g = 63.6 - 63. Suppose 21 = 14*n - 119. Is n at most g?
False
Let d(r) = 80*r**3 + r**2 + r. Let q be d(-1). Let i be (-1195)/15 - 556/417. Which is smaller: i or q?
i
Let o be (4/(-98)*1204/(-43))/((-4)/(-14)). Let l be (-6)/(-1) - (-1 + 2). Let k be 2 - ((-152)/(-10) + o/l). Which is greater: -13 or k?
-13
Let p = 418/27 + -5680/189. Let t = -22 - -8. Is t at most p?
False
Let r = -28 - -27.66. Are 33 and r unequal?
True
Suppose -5*j + 46 = 21. Suppose -j*s + 23 = 133. Are -23 and s unequal?
True
Let g = 1.3 + -1.138. Let b = -4.712 - -4.6. Let m = g + b. Which is bigger: -1 or m?
m
Let o = -0.19 + 1.19. Let h = 100 - 97. Let n be h/(-9) + (-34)/(-66). Which is bigger: o or n?
o
Let k be 12/16 - (-469)/(-268). Is k less than or equal to -24/2659?
True
Let c be (3 - (-108)/(-37))*6. Let a = c - 35/148. Is -19/5 equal to a?
False
Let z be -4*693/(-1836) + (-20)/15. Is -1 bigger than z?
False
Let v = 23 - 29. Let m be 3 + (-16)/v + 9/27. Suppose 5*j - 5*n = 20, 6*n + 8 = 3*j + n. Is j at most m?
True
Let y = -20026 + 25460. Which is smaller: -1 or y?
-1
Let t = 478141 + -478141. Let w be (-4)/(-474)*(-1 - 0). Is t at least as big as w?
True
Let y = -7103 - -7102.9. Is 921 bigger than y?
True
Suppose 15 = 5*b, -w + 22 = -b - 23. Suppose 5*f - 33 + w = 0. Let m be (78 - (0 + 3/f))*-1. Which is smaller: -78 or m?
m
Let j be ((-873)/(-162) - 6) + 1/9. Which is smaller: j or -251.1?
-251.1
Suppose 0 = -3*s + 5*j - 2, -5*j + 2*j = -2*s. Suppose 14 - 8 = s*i. Which is smaller: 0.8 or i?
0.8
Suppose -4*j - 11 = 5*q + 6, 1 = 2*q - j. Let l = -28698/13 + 2213. Let p = l + -11/2. Which is smaller: q or p?
q
Let t = 1756/9 + -1732/9. Which is greater: 0.085 or t?
t
Let a = 0.1311 + -5.1311. Are a and -2/21 non-equal?
True
Let l be -3 - (4 + -1 + -3). Let s be 116/(-9309)*l/2. Is s smaller than 0?
False
Suppose -10 = -2*a + 4*m, -2*m - 6 - 14 = 2*a. Let q be ((-39)/15 - -1)*a. Let d(h) = h**2 - 11*h + 19. Let y be d(10). Are q and y unequal?
True
Let b = 1846/11 + -12416/77. Which is greater: -2/113 or b?
b
Suppose -36 - 11 = -t. Suppose -3*a + 176 - t = 0. Is 40 at least as big as a?
False
Let v(y) = -17*y**3 - 16*y**2 + 18*y + 44. Let u be v(-3). Which is bigger: 297 or u?
u
Suppose -2*n + 21*r - 23*r = 0, r - 2*r = -2*n. Is n > 3/18118?
False
Let y be (-456995)/2464*-1*2. Let g = -371 + y. Let c be (-36)/(-28) + (-4)/14. Which is bigger: g or c?
c
Let y = -94 + 86.2. Let z = y - -7. Let f = 22.8 + z. Which is greater: f or -2/7?
f
Let r = -72 - -18. Let k = r - -118. Which is greater: k or 65?
65
Suppose -3*j + 36 = -99. Let l be ((-6)/j)/(356/48 + -4). Which is greater: 1 or l?
1
Let m be 1/((-27)/18) - (-3343)/(-300). Let v = m + 59/5. Which is smaller: 1 or v?
v
Let h be ((-42)/3)/7*1. Let j be (-28)/(-8) + h + (-27)/50. Is j at least as big as 0?
True
Suppose 3*w = w + 16. Suppose 0 = 2*i - 0*t - 4*t + 12, 5*i - 4*t = -6. Let f be -428*(-6)/360 - i/15. Which is smaller: w or f?
f
Let k be ((-20)/(-15))/((-3)/(-27)). Let m be k/(-15) + (2970/(-25))/(-6). Suppose -3*n = 3*q - 63, -4*q - 5*n + 81 = -2*n. Which is smaller: q or m?
q
Let t = 175015/792 + 1252/99. Does 233 = t?
False
Suppose -10412*a + 10383*a + 3074 = 0. Which is smaller: 139 or a?
a
Let w = 1569575/657 - 2389. Which is greater: 1 or w?
1
Let s = 26931 + -19165. Is s > 1?
True
Suppose -6*x - 2307 = -9*x + 5*w, -3879 = -5*x - 3*w. Is x != 3099/4?
True
Let s be ((-108)/(-30))/((-1)/5). Let i be s/(-4 - 74/(-19)). Suppose 4*m - i = -7. Which is greater: m or 0?
m
Let d(f) = -f - 62. Suppose 6*a + 5*o - 70 = a, -2*o + 4 = 0. Let r be d(a). Is -299/4 > r?
False
Suppose 5*u - 12 = 148. Suppose 12 = 4*b - u. Let i = b - -2. Is i > 11?
True
Let c be 1 + 1 - (-3472)/(-1743). Let v = -14719 + 14719. Is c greater than v?
True
Let q = 211 + -203. Let l be 24/(-16)*3*2/q. Which is bigger: l or -1?
-1
Let c = -51 + 18. Let h = -32.98 - c. Let u = h - -8.98. Is u greater than or equal to -2?
True
Let r = 7859 + -9380. Are -1522 and r equal?
False
Let l = 2 + -1.8. Let m = -3062 + 3103.82. Let j = m + -41.8. Which is smaller: j or l?
j
Let z = -2745.79 + 2721. Let a = -25 - z. Let t = a + 4.21. Is 4 >= t?
True
Let q = 3626 - 3949. Is -326 smaller than q?
True
Let u(w) = 455*w + 1573. Let x be u(-6). Are x and -8095/7 non-equal?
True
Let x = -3 - -11. Let k = 15.9 + -160. Let z = -144 - k. Do z and x have the same value?
False
Suppose -d = 3*r - 36, 196 - 82 =