= 232/55 + -42/11. Is c < m?
True
Suppose -4*t = -3*b + 435, -4*b - 135 = -4*t - 719. Which is bigger: 121 or b?
b
Let x = 11137 - 22275/2. Which is bigger: 0.13003 or x?
0.13003
Suppose 2025*j - 2014*j = 1408. Does j = 108?
False
Let x be 1/((160/(-15))/(-8) - 1). Let l(d) = -d**2 + 7*d - 11. Let j be l(x). Which is greater: -2/237 or j?
j
Suppose 0 = -2*u - 3*u + i - 173, 2*i = -2*u - 62. Suppose -4*d = 5*o + 155, 6*o - 3*o + 3*d = -90. Which is bigger: u or o?
u
Suppose -2357 = -9*r - 2*r + 558. Which is bigger: 253 or r?
r
Let u = -12/2095 - -796184/14665. Is 55 equal to u?
False
Let z = 195 - 1363/7. Let h = -48320 - -48320. Is z < h?
False
Let n = 6 + 59. Suppose -g - 7*q = -3*q + n, -4*q - 325 = 5*g. Which is bigger: -67 or g?
g
Suppose 4*c + 78 = 17*c. Let d be 3/c*(-10)/(-3). Is d greater than or equal to -2/19?
True
Let n = 54 - 53. Let x be n/4*24/(-375). Which is smaller: -1 or x?
-1
Let t be (20*(-12)/12)/(-5). Which is smaller: t or 31/8?
31/8
Let g be (1 - (-3002)/110)*((-21)/(-2) + -8). Is 72 at most as big as g?
False
Let q be 104/32*4 - 5. Suppose -4*m = 3*h - q, 3*h - 12 = -5*m - 2. Which is bigger: 2/451 or h?
2/451
Let p(j) = j**3 + 16*j**2 - 17*j - 8. Let f be p(-17). Let g be ((f - -2)/(-12))/((-2)/4). Is g at most as big as -1/4?
True
Let m = 331 - 318. Suppose -5 + m = -4*j - 3*t, 5*j - 4*t - 21 = 0. Which is smaller: j or -2/121?
-2/121
Let d = 14640 + -14543. Which is smaller: -0.028 or d?
-0.028
Suppose 0 = 16*u + 13*u - 203. Let k be 33/u*16/(-24). Is -4 >= k?
False
Let s = 99.125 - 0.125. Let v = 98 - s. Which is bigger: -71 or v?
v
Let q be (17/((-137428)/(-24)))/3. Which is smaller: q or 0?
0
Let p = 93252 + -135308688/1451. Which is bigger: 1 or p?
1
Let q = -2189.74 - -2190. Which is smaller: q or -2.1?
-2.1
Let j = 127 - 54. Let v = j - 73.14. Let p be (1/3)/(4/12). Which is smaller: p or v?
v
Let d(x) = x**2 + 7*x + 18. Suppose o - 4*k = -20, 3*k - 26 + 11 = o. Let u be d(o). Let h = 1 + -3. Which is bigger: u or h?
u
Let h = -181624/102901 - -2/6053. Let q = 511 + -504. Suppose -31 + 17 = q*k. Which is smaller: h or k?
k
Let c = 1975/258559 + 2/859. Which is smaller: c or -0.3?
-0.3
Let c(p) = 640*p - 19. Let m be c(3). Let b = 43681/23 - m. Which is smaller: b or -2?
-2
Suppose 0 = 4*g + j + 5, 2*g - 1395*j + 5 = -1396*j. Which is smaller: 1/13774 or g?
g
Let h = -8933077/419 + 21320. Which is bigger: h or -1/3?
h
Let z = -128 + 109. Let d(w) = w**3 + 19*w**2 - w + 35. Let q be d(z). Which is greater: 53 or q?
q
Let g be -226*1*(-102)/(-68) + -7. Which is greater: -349 or g?
g
Let p be (-14)/((0 - 3)/(12/(-8))). Let o = -1/200 + -1299/200. Is p > o?
False
Suppose f = -2*h + 2893, 5*h - 33*f + 35*f = 7231. Is 1446 bigger than h?
True
Suppose 738 = -7*p + 94. Let s = p - -73. Which is bigger: -25 or s?
s
Suppose 7 + 8 = -w - 3*b, 15 = 4*w - 3*b. Suppose -d = -3*s - w*s + 25, -s + 11 = d. Let r be 0 - (2 - 8/s). Is r > -1?
False
Suppose 175*f - 25976 = -96*f - 1044. Is f bigger than 8?
True
Let d = 5365 + -5364. Which is greater: -8.93 or d?
d
Let p = 71459/738 - -5/82. Are 97 and p nonequal?
True
Let y = -16 + 26. Let a(j) = -15*j + 8*j - y + 8*j. Let v be a(11). Is 5/14 <= v?
True
Let f(v) = 2*v**3 + 6*v**2 + 15*v + 5. Let z(b) = b**3 + 6*b**2 + 13*b + 3. Let i(k) = 2*f(k) - 3*z(k). Suppose -t - 7 = -2*t. Let j be i(t). Is -12 <= j?
False
Suppose 2254*u + 16980 = 2289*u - 6470. Is 669 less than u?
True
Let i(w) = -69*w**2 + 8*w + 8. Let a(d) = -d**3 - 6*d**2 - 6*d - 6. Let m be a(-5). Let s be i(m). Let y = s + 65. Is -7 at most as big as y?
True
Let u = -14.69 - 4.87. Let h = u - -2.56. Let t = 113/3 + -38. Is h bigger than t?
False
Suppose 13 = 4*j + 2*m - 41, m + 21 = 2*j. Let g be j/(-3) - (-16)/16. Let b be (3 + (-9)/7)*-1. Which is bigger: b or g?
b
Let b be (-3)/9*81/24. Suppose -4*d = -3*z + 16, 3*d - 82*z + 77*z + 23 = 0. Which is smaller: b or d?
b
Let s be 0 + 1333/4 - 545/436. Which is greater: s or 328?
s
Let q be -2 + 140/25 + 2/5. Suppose 2*h + z + 6 = -0*z, -q*h = -z. Is h not equal to -4/101?
True
Let n = -23.55 + 22.55. Suppose 29 = 2*c + 197. Let y = c + 43. Is y less than or equal to n?
True
Suppose 3*h = a + 14, -4*h + 14*a + 10 = 4. Which is smaller: h or 0.376?
0.376
Suppose -5*m + 181 = 136. Suppose 0 = m*i + 9*i. Which is smaller: -1/390 or i?
-1/390
Let j be 8 + (-18 - (-7814576)/781462). Is 0 <= j?
False
Let o be 2/(-7) - (-55)/315. Let v(n) = -n**2 - 7*n - 1. Let q be v(-5). Suppose -4*j - j = q*j. Is o <= j?
True
Suppose -7*y = 808 + 858. Let x = y + 334. Let a be (-5 - -3)/((-3)/x). Is a at most as big as 64?
True
Let w be ((-8)/84)/((-12)/(-5931)). Is w at most as big as -46?
True
Let x = 230905 + -918867/4. Which is smaller: 1188 or x?
1188
Let f be (-1 - 67/(-65))/(223964/1180). Which is smaller: 0 or f?
0
Let g(w) = w**2 - 4*w - 7. Let c be g(5). Let o be (-5 + 2)*(-18101)/(-414). Let a = o - -130. Which is greater: c or a?
a
Suppose 18*l - 16*l - 4*c + 30 = 0, -4*l + c = 53. Let v = -28 - -17. Which is smaller: v or l?
l
Let i = -307 - 288. Which is smaller: i or -598?
-598
Let l be ((-1 + 2)*-1)/((-58343)/(-7298) + -8). Is 173 <= l?
True
Let f(c) = 11*c**2 + 3*c - 7. Let g be f(-3). Suppose -g*r = -88*r + 185. Which is smaller: 75/2 or r?
r
Let u be (4/(-6))/(-1*(-1)/(-6)). Suppose b - c = 0, 0 = 5*b - 6*c + u*c + 12. Let s be b/(-22) - 5190/110. Which is smaller: s or -48?
-48
Let v(g) = g**3 - 5*g**2 - 9*g + 2. Let t be v(5). Let u(x) = 2*x - 22. Let f be u(-10). Which is greater: f or t?
f
Let a = 3 + -4. Let x = 14989326 - 158961802603/10605. Let u = x - -2/303. Is u greater than or equal to a?
True
Suppose 0 = 3*f + 2 + 10. Let r be (2/f - 84/(-8)) + 3. Suppose -4*y - 18 = -2*h, h + 2*y = -0*h + r. Which is smaller: h or 10?
10
Let r = 2.24 + -123.24. Let b = -111.1 - r. Let a = -10 + b. Which is bigger: a or 0.27?
0.27
Let p = 14 - 12. Let u(i) = -p*i - 3*i**2 + i**2 - i - 4 + 3*i**2. Let z be u(4). Is -1/42 less than or equal to z?
True
Let r = 2.891 + -5.891. Which is smaller: 1/496 or r?
r
Let v be 3*(62/(-6) + -1). Let g(u) = 23*u - 95. Let y be g(4). Let o be (-2)/y*(v + -20). Which is bigger: o or 0.1?
0.1
Let o = 0.951 + -0.051. Let z = o + -0.8. Let g = 27.3 - 27. Which is smaller: z or g?
z
Let x(i) = -2*i**2 - 20*i. Let o be x(-8). Let v be 18/(-48) - (-12)/o. Which is bigger: -7/37 or v?
v
Let t = -4476 + 4475. Are t and -5/442 unequal?
True
Let p = 6365.9046 + -6365. Let l = 0.0954 + p. Is l greater than or equal to -3.22?
True
Let v be (42 - 35) + (-6)/2. Suppose -2*b + 2*f = -204, 0*f + v*f + 305 = 3*b. Is 103 at least b?
True
Let x be ((-522)/8187773)/9*11/(-1). Which is smaller: 0 or x?
0
Let c be -1 - 24/7 - (-136)/(-238). Let f be (0 - 3)/(c/(-305)). Which is bigger: f or -182?
-182
Suppose -9*p = 275 + 1111. Let o = p - -262. Let y = -109 + o. Is y greater than or equal to -17/8?
True
Let l(q) = 4*q - 325. Let h be l(0). Let o be (-13)/(h/(-10)) - 477/(-5). Which is smaller: 96 or o?
o
Let n = 41402 - 41401.9. Which is smaller: n or -13293?
-13293
Let u = 10375 - 10375. Which is bigger: u or 2577/5?
2577/5
Let q be -5 - 149*(-34)/1014. Suppose 705*y = 711*y - 6. Which is smaller: y or q?
q
Suppose 3*h - 2*j - 2499 = 0, 4*h + 7*j - 8*j = 3337. Which is smaller: 823 or h?
823
Let o = -17886/2020097 + -2/4687. Is o greater than 0?
False
Let q = 0.36 + -0.01. Let o = 151 + -150.85. Let d = o + q. Is d at least as big as -0.2?
True
Let o = 909 - -3800. Which is bigger: 4708 or o?
o
Suppose f - 15 = 6*f. Let l be ((-120)/(-154))/((-4)/210*f). Let q = -12 + l. Do -0.1 and q have different values?
True
Let p = -7 - -17. Let l be 2/p - -2*(-822)/(-30). Suppose -l = a - 62. Which is smaller: -3 or a?
-3
Let x be (-1)/(-525) + (-1 - -1). Suppose -219*g = 2809*g + 2384*g. Which is greater: x or g?
x
Suppose 17*q = -108 + 23. Let m be (-1)/q - 1/(120/249). Which is bigger: m or -2?
m
Suppose -3*w = -6*r + 936 + 1320, -4*w = -24. Is r greater than or equal to 370?
True
Let f = -352 + 379. Suppose -38*l + 242 = -f*l. Does l = 24?
False
Suppose 3*r - 126 = -7*o + 4*o, o = 2. Let c = -25 - 35. Let i = c + r. Which is smaller: i or -19?
i
Let u = 0.0802 - 0.4002. Which is smaller: -396 or u?
-396
Let n = -445 - -309. Let z(u) = -27*u + 29. Let k(o) = 108*o - 1