232. Is c <= t?
False
Suppose v = -4*m + 36, -5*v + 290 = 6*m - 8*m. Suppose -2*b = -3*g + 42, -g - 3*g - 3*b = -v. Do g and 18 have the same value?
False
Suppose 0 = -177*o + 175*o + p - 24, -4*p = 5*o + 34. Let k = 8 - 26. Which is bigger: o or k?
o
Let g be (-12 - -1)/(12/(-48)). Let n = 40 - g. Let y be (-136)/6 + n/12. Which is smaller: -24 or y?
-24
Let u = -5181 + 5290. Which is bigger: 115 or u?
115
Let h = -247 + 345. Let u be (-21)/h*4 + (-1044)/(-1120). Suppose -6*w + 2*w - 15 = -3*v, 3 = -w. Are v and u nonequal?
True
Let d = 3452.6 + -3455. Which is greater: -1.37 or d?
-1.37
Let v(q) = -q**3 - 7*q**2 - 12*q + 3. Let o be v(-4). Suppose -823 = n - t - o*t, 5*t = -n - 805. Is n smaller than -815?
False
Suppose 0 = -j - 0 - 1. Let n(q) = 36*q + 1. Let h be n(j). Suppose 0 = 315*p + 7839 + 2871. Is p at most h?
False
Suppose -1386 = 239*u + 6979. Is u less than -35?
False
Let n be 126 - (-1 - 12/((-20)/(-5))). Let b = n + -187. Is -58 != b?
True
Let i = -8 + 18. Suppose i*m = 6*m + 8. Suppose 2*j - 4*s = -2*j + 8, -j - m*s - 10 = 0. Is 16 less than j?
False
Let r = 5445 - 5447. Is -100/9 at most as big as r?
True
Let u = 28997 - 57469. Is u < -28472?
False
Let q = 79 + -82. Let n be (-3 + (-21)/6)*(-6)/q. Let b = n - 2. Is -11 at most b?
False
Let u = 479 + -225. Suppose 86*z + 96*z = 66*z + 29464. Is z at least as big as u?
True
Suppose -2*y + 5 = -3*y. Let q(r) = 7*r - 88. Let t(b) = -2*b + 1. Let f(g) = q(g) - 4*t(g). Let v be f(6). Which is bigger: y or v?
v
Suppose -13*i + 1506 = -457. Do 151 and i have different values?
False
Let u be ((-10)/5 + -13)*5/(-560). Let z = 12171/560 - u. Is z >= 23?
False
Let z = 39074/1149051 - 20/607. Is -1 equal to z?
False
Let f be (3/((-45)/(-1825)))/(1/3). Is f equal to 2553/7?
False
Let u = -64 + 93. Suppose 151*p - 2321 = 83*p - 9. Which is smaller: u or p?
u
Let p(f) = f**3 - 21*f**2 + 18*f + 41. Let d be p(20). Suppose d = 5*b - 4*b. Suppose 2*m - 4*r - 23 = -b, 4*r + 36 = 4*m. Which is greater: 9 or m?
9
Let c be (2/(-4))/(1/(-2)). Let g = 85 + -140. Let v be 10/g - 8/(-44). Which is smaller: v or c?
v
Let g be 1/(-2) + 7/(-2). Let n = g + 8. Let q = -63186 - -126373/2. Which is bigger: q or n?
n
Let q be (-4 - -13) + -12 - (-6 - 0). Let v be 136/(-2) + 2/q*6. Which is greater: v or 0?
0
Suppose 3*y = -3 - 3. Let u be (y + -1 - -4)*433 + -3. Let g be 66*(u/(-105) - -4). Are g and -7 equal?
False
Let m(f) = -7*f - 4*f**3 + 3*f**3 + 107 - 66 - 70 - 6*f - 7*f**2. Let c be m(-8). Is c less than 139?
False
Let i(q) = 4 - 25*q - 14 + 24*q. Let s be i(-12). Let j be ((4/10)/s)/(12/60). Is j bigger than -3/23?
True
Let m = -21 + 26. Suppose -122*g + 123*g - m = 0. Let j be 6/(-10) + (-651)/(-135). Is g > j?
True
Let j = -24.48 - 5.82. Let r = -80.8 - -50.8. Let z = j - r. Is z > -1/20?
False
Suppose 5*y + 1 = 3*w - 1, -2*y + 1 = -3*w. Let g be 3 + (-48)/33 + (4 - 6). Which is smaller: y or g?
y
Let n = -6 + 17. Suppose -14*q + 354 = -122. Suppose -q*v = 40 - 380. Which is bigger: n or v?
n
Suppose -40*u + 41*u + 140 + 99 = 0. Which is bigger: -256 or u?
u
Let d be (7 - 1) + -3 - 1. Let k be (-192)/(-9)*(d - -1). Suppose -6 = -6*t, 2*v - 22*t - 125 = -23*t. Which is smaller: k or v?
v
Let x = 3.7 - 0.7. Let s be 63/(-72)*(-15)/70*2. Does x = s?
False
Suppose -w - 2*p = -p - 4, 5*w - 5*p = 0. Let g be -2 - -2 - (3 - w). Let v = 1797/32 - 138433/2464. Which is bigger: g or v?
v
Suppose 14*p = -4*p + 252. Let c be 159/(-150) + 7/p. Which is greater: c or 0?
0
Let o(k) = 4*k - 4. Let y be o(-2). Let s = 58 + -54. Suppose -9 - 51 = s*m. Is y greater than or equal to m?
True
Let q(w) = 2*w**2 + 101*w - 68. Let m be q(-12). Which is greater: -991 or m?
-991
Let v be (0/(-1))/((-44)/22). Suppose 2*o + 14 - 75 = -5*b, 5*o + 4*b - 161 = v. Let i = 8 + 26. Which is smaller: i or o?
o
Let k = -678 + 2905. Is 2225 < k?
True
Let q(v) = -15 + 3*v - 12*v - 17*v - 2. Let a be q(0). Does a = -15?
False
Let t = 3633 + -3633. Which is bigger: 6140 or t?
6140
Let k = -859 - -374. Let j = k - -95547/197. Which is greater: -1 or j?
j
Let p = -144 + 95. Let i = 148/3 + p. Let b = 0.003 - 3.903. Which is greater: i or b?
i
Let t = -0.4778 + 14.4778. Are t and -163 unequal?
True
Let l(k) = k**3 + 38*k**2 - 106*k - 236. Let g be l(-41). Is -933 <= g?
True
Let z be 5/2 + (-2)/(1 - -3). Suppose -d + z = 3*n, d - 1 - 1 = 2*n. Let f be (4*(-1 + -1))/d. Which is bigger: f or 5?
5
Suppose 3782 = -6*v + 4472. Is 123 >= v?
True
Suppose 950*p = 907*p - 172. Is -217 less than p?
True
Let r = -155 + 11971. Which is smaller: r or 11817?
r
Let r = -6731 + 6730.92035. Are r and 0.1 unequal?
True
Let y = -6 + 9. Let z be y/((-3)/29) - 2. Suppose -5*m + 36 = -x, -6*x + 3*x - 2*m - 91 = 0. Is x <= z?
True
Let t = -38 + 56. Let z = -11985.2 - -11985.2. Do t and z have the same value?
False
Suppose -3862*m + 3890*m = -4256. Which is smaller: -1066/7 or m?
-1066/7
Let b be (-6)/20*-3*(-72)/(-162). Which is smaller: 0.187 or b?
0.187
Let k = -0.09285 - 1.77715. Let x = 1.8 - 0.8. Which is bigger: x or k?
x
Suppose -x = 90 - 94. Let p(o) = 9*o**2 - 35*o - 4. Let g be p(x). Which is greater: g or -21/17?
g
Let o = 411 - 410.641. Let j = o - 0.359. Let r be ((-18)/(-4))/((-6)/(-8)). Which is smaller: j or r?
j
Let a(w) = 4*w**2 + 9*w - 7. Let l be a(-7). Let t be 12/((-6)/21 + 64/l). Let q = t - 50. Which is smaller: q or 2?
2
Suppose 4*g + 4*p = -148, 3*g - g + 86 = 2*p. Let q = 26 + g. Let z = q + 10. Which is smaller: z or 0?
z
Let c(f) = -f**3 - 14*f**2 - 24*f - 8. Let j be c(-12). Let b be -17 - (2/j - (-1)/4). Do b and -192/11 have the same value?
False
Let x = -10/61 - 53/793. Let p = 829 + -425. Let d = p - 403. Which is greater: d or x?
d
Let c(q) = q**3 + 19*q**2 - 16*q + 69. Let p be c(-20). Let n be (-4)/52*(p - -9). Is n at least as big as 1?
False
Suppose -13*q + 75 = 10. Suppose -4*p = -4*k + 17 - 5, k = 2*p + q. Let v(o) = 16*o**2 + 2*o. Let d be v(p). Is d at least -1?
True
Let u = 394551/11 + -36099. Let w = 231 + u. Does w = -2?
False
Let u = -46 + -6. Let r = 62 + u. Let j = 7 - r. Is 2 smaller than j?
False
Let t be -21 - (-2416)/120 - (-4)/(-30). Is 12/925 != t?
True
Let p = -8299 + 8299.1. Is 848 >= p?
True
Let c(p) = -13*p - 20. Let k be 66/(-14) - (-12)/(-42). Let j be c(k). Let v = j - 33. Is v at most 13?
True
Let z = -43.989 + 44. Let l = 7.989 + z. Let g = -2 - l. Is g greater than -0.2?
False
Let d be ((-362360)/(-315))/(-8) + (-81)/189. Are d and -145 equal?
False
Suppose 0 = 4*b - 119 - 49. Let t = -12 + b. Let d be (-1 - 2)*10/t. Which is smaller: -6 or d?
-6
Suppose 32 = 5*x + 12. Suppose 0 = -x*f - 5*o + 7*o - 48, o = 5*f + 63. Let a = -27 - -14. Is a less than f?
False
Let h = 497 - 496.797. Let m = h + 0.11. Is m equal to 1?
False
Let i = 325/708 + -37/177. Which is bigger: -6/31 or i?
i
Let l = 3651 + -3666. Let d(n) = 49 - 6 - n + 4*n. Let v be d(l). Which is smaller: -18 or v?
-18
Let j(c) = 5*c + 146. Let l be j(-30). Let t be 168/44 + l - (-5145)/165. Suppose 4*v - 84 - 40 = 0. Is t at least as big as v?
True
Let m be (10 + -4)/(27/834) + 4/(-12). Is m < 926/5?
True
Suppose 0 = 3*s - 66 + 57. Suppose 14 = -q + 3*z, -4*q + s*z - 164 + 63 = 0. Is q greater than or equal to -30?
True
Let z(s) = -3 + 17*s + 11*s - s**3 - 2*s**2 + s**2 - 11*s**2. Let j be z(-14). Let l = -109 + 102. Which is smaller: j or l?
l
Let o = -379.911 - 0.089. Let t = -302 - o. Which is smaller: 0 or t?
0
Let f = 43 - 19. Let n be (2/f)/((-5)/(-60)). Which is bigger: n or 42/23?
42/23
Suppose 2 = q - 5. Suppose -20*c + 4*c = 29*c + 6*c. Which is smaller: q or c?
c
Suppose 154 = i - 68. Let s be -1 - i/5 - 4/(-10). Suppose 4*m + 56 = -o, 2*o + 4*m + 76 = 8*m. Which is smaller: s or o?
s
Let c = 20357 + -20358. Which is bigger: 8786 or c?
8786
Let z(g) = -g**2 + 4*g - 2. Let u be z(3). Let k = 197 - 195. Suppose 6 = -3*q, -2*q = -2*d + k*q + 30. Is u at most as big as d?
True
Suppose -8*r = 3*p - 6*r - 13, 0 = -5*p + 2*r - 5. Let q = 22 + -36. Which is greater: p or q?
p
Suppose 207 = -9*o + 54. Let u(m) = -m**3 - 17*m**2 + 3*m + 61. Let y be u(o). Which is greater: 1 or y?
y
Suppose -3*c = o - 176, -7*o - 2*c - 171 = -8*o. Let w = -127 + o. Which is greater: w or 231/5?
231/5
Let q(j) = -7*j**2 - 5*j + 13. Let p be q(4). Let f be (