Which is smaller: -598 or q?
-598
Let c = -9.776 + 0.076. Let i = c - -9.8. Let x = 17 - 29. Which is bigger: x or i?
i
Suppose 3*p + y = 1783 + 7747, 4*p - 5*y - 12675 = 0. Is 3176 >= p?
True
Suppose -5*c - u - 3 = 0, -5*c + 981*u - 35 = 986*u. Is -7/2092 > c?
False
Suppose -32 - 4 = -4*n. Let r(z) = 7*z + 18. Let o be r(-3). Let j be (-1)/((o/(-9))/((-3)/n)). Which is bigger: 13/7 or j?
13/7
Let m = -397 + 399. Let q(l) = 31*l - 64. Let x be q(m). Which is smaller: x or -19/10?
x
Suppose n = 2, 1225*n = 4*u + 1229*n + 28632. Is -7161 at most as big as u?
True
Let p = 1091 - 600. Let y = p + -428. Which is smaller: y or 58?
58
Let n = -34 + -69. Let g = -98 - n. Which is greater: 4 or g?
g
Let h = 2242 + -2245.89. Is h less than 0.6?
True
Let x = 276503/5 - 55056. Let u = -245 + x. Is 476 less than u?
False
Let g = 25/36 + 104/9. Suppose -4*m = -2*o + 4 + 12, 4*o - 23 = 5*m. Suppose -o*z + 34 = -2*y, 5*z - 38 = 3*y + 39. Which is bigger: z or g?
z
Let z = 20102462/13 - 1547280. Let y = 938 + z. Which is bigger: 1 or y?
y
Let u(q) = 4*q**3 + 21*q**2 + 10*q - 10. Let b be u(5). Are 1066 and b nonequal?
True
Let p be 2 + -3 + 8 + 1. Let x be -4*4/p - 2. Let f be (-55)/44 + (-1)/x. Which is smaller: f or -0.43?
f
Suppose o = 5*j + 104, 5*j - j + 68 = -3*o. Let t = 49 + -28. Suppose -h + t = -2*h. Which is smaller: j or h?
h
Let q = 14.7632 - 3.3632. Do q and -156 have the same value?
False
Let i = 0 + 0.1. Let t = 37.1 - 38.26. Let f = -16.16 - t. Is i < f?
False
Suppose 17*w = -4 - 47. Let s be 60/18 + (2 - (-7)/w). Let f be s - (-3 + 7)*-1. Which is greater: f or 38/5?
38/5
Let r be 39/(-45) + -4*10/300. Which is greater: r or -96/59?
r
Let z = 1506 + -137042/91. Let k = 621/364 + z. Which is smaller: k or 6/11?
6/11
Let b be (-2)/(-3) + (-8)/(-15). Let u(y) = -53 + 116 + 2*y - 58. Let s be u(-2). Is s less than b?
True
Let u = 521 + -765. Let d be (u/(-3))/(29 - 25). Which is greater: 21 or d?
21
Let p(v) = -4*v**2 - 219*v + 54. Let f be p(-55). Which is greater: f or 8/691?
8/691
Let o = 178005628/3399 - 52370. Which is greater: -0.1 or o?
o
Let k = 9928 + -9928.23. Let h = 0.05 - -1.95. Is h bigger than k?
True
Let d(u) = -u**3 - 16*u**2 - 11*u**2 + 36*u**2 - 5 - 4*u - 18*u**2. Let j be d(-8). Let f = 3109/84 + j. Is f <= 1?
True
Suppose 3*d + 720 = 5*o, -3*d + 432 = 3*o - d. Suppose -4*n + 12138 + 1637 = 91*n. Which is greater: n or o?
n
Let y = -129337/14 + 9238. Is y at most -33?
False
Let h = 2.37 - 1.1. Which is greater: 2/3 or h?
h
Let j = 13609.8 - 13610. Is -8 > j?
False
Let c = 262.24 + -263.7. Are c and -6/11 equal?
False
Let d(b) = b**2 - 58*b + 439. Let t be d(45). Is -139 at most as big as t?
False
Let r = -432866.927 + 432473. Let p = r - -394. Does p = 0.2?
False
Let g = -0.10581 + 84.10581. Is g at most 0.48?
False
Let a(h) = 3*h**2 - 54*h + 50. Let p be a(17). Is -6058 greater than p?
False
Let p = -10 + 4. Let i be (120/400)/((-2)/10 - 1). Is i greater than p?
True
Let a = 280432414388 - 21592643936631/77. Let i = 8466362 - a. Let x = 797 + i. Is x at most as big as 1?
True
Let j(f) = -f**2 + 5*f - 6. Let c be j(4). Suppose 3*s + 6 = 21. Let m be (s/2 - 1)*-18. Is c < m?
False
Let b(f) = 23*f + 12. Let h be b(0). Let x(m) = 13*m**3 - 2*m**2 + 7*m - 6. Let t be x(1). Is t >= h?
True
Suppose 2*h + 0*y - 6 = -2*y, -3*h = 4*y - 7. Let d be ((15/6)/h)/((-28)/56). Which is smaller: 9/28 or d?
d
Let x = 383.516 + -373. Is x > 0?
True
Let j = -12122 + 12126. Are -222/31 and j equal?
False
Suppose -465*f + 38376 = -447*f. Is 2136 greater than f?
True
Suppose 3*f - 12 = -71*i + 75*i, -3*f = 4*i - 12. Let b(o) = -o**2 - 8*o - 6. Let r be b(-6). Suppose i = 9*h - 3 - r. Are 2/43 and h equal?
False
Let n = -71/360 - 169/360. Let g be (-2)/(2*(-2)/170). Which is greater: g or n?
g
Let f(z) = -z**2 - 12*z + 12. Let v be f(1). Suppose -n = -0*n. Let t be 0 - (n - 8/(-10)). Which is smaller: v or t?
v
Let l = 885.06 - 864. Let k = 21 - l. Let z = -2.74 + 3.74. Which is smaller: z or k?
k
Suppose 0 = -12*q - 16*q + 18 + 10. Which is bigger: q or 9/5315?
q
Suppose -m - 3*m - 16 = 0. Let l(p) = 16*p - 2. Let k be l(0). Let x be (m/(-8))/(1/k). Which is smaller: 1/20 or x?
x
Let j = -34135 + 33861. Are -272 and j equal?
False
Let f = -8535 - 1571. Do f and -10107 have different values?
True
Suppose 4*z - 421 = -0*y + y, 0 = -4*z - 3*y + 433. Is z equal to 106?
True
Let j be 3/((-17368)/(-241744) + 8/(-116)). Is j less than or equal to 1052?
True
Let a = -42.13 + 24.13. Which is bigger: a or -20?
a
Suppose 2296 = 4*b + 3*o, -b + 571 - 12 = -3*o. Let r = b + -1167. Which is smaller: -595 or r?
r
Let x be -6*(2/2 - (-187)/(-170))*-35. Are -280 and x unequal?
True
Let h be (-3164)/32 - (-138)/(-1104). Let j(g) = g**3 + g**2 - 102. Let a be j(0). Which is smaller: a or h?
a
Let a = 11428880 + -20206259173/1768. Let p = a + -1/442. Which is smaller: 5 or p?
p
Let b = 24 - 27. Let w be b/4 - (0 + -1). Which is smaller: w or 285?
w
Suppose -g + 4*t - 3677 = 0, 0 = 29*g - 30*g + t - 3662. Which is smaller: g or -7315/2?
-7315/2
Let h be (555/370)/(3/(-2)). Which is smaller: h or -8/201?
h
Suppose 6014*h - 5912*h + 159 = -63 + 18. Let a be (-6)/2 - (0 + 0). Are a and h unequal?
True
Let c = -2761 - -41348/15. Is -5 > c?
False
Suppose 0 = -3*k - 5*g + 51, 285 = -2*k - 2*g + 319. Is 0.05 != k?
True
Let k = 129688393/910449 - -1/101161. Which is smaller: k or 141?
141
Let q = 999 - 1021. Which is greater: q or -1.86?
-1.86
Let d be 10*-3 + 3 + -1. Let z = -29 - d. Let p be 1*(1 - (z - -1)) + 2. Which is bigger: 2/9 or p?
p
Suppose -5*i - z = -677, -4*i + 0*i + z + 547 = 0. Let a be -3 - (i/(-66))/((-42)/(-63)). Is -8/5 != a?
True
Suppose -4*o - 133 = -113. Let c be (-3)/o + (-1659)/(-210). Which is smaller: 9 or c?
c
Let m be -4 + (3 - -2)/1. Let y be 1*(-4 + 3)*(m + -6). Let a be -2 + y + (-2)/((-2)/(-3)). Which is smaller: 2/121 or a?
a
Let d = 123 - 121. Suppose 5*v + d*i = -2, 3*i + 4 - 1 = -3*v. Is v less than or equal to -6/79?
False
Let u(t) = -2*t**3 - t**2 - t + 1. Let x be u(-3). Suppose -48*z + x*z = 4. Which is greater: 14/5 or z?
z
Let d(u) = u + 8. Let a be d(-6). Let j = 4/3121 + -159299/99872. Let p = -35/32 - j. Which is bigger: p or a?
a
Let j be (-14)/(((-8)/(-8))/(8*5/10)). Which is smaller: j or -954/17?
-954/17
Let l be (1/(-2))/(1/(-2)). Let p(r) = -r**3 - 4*r**2 + 8*r - 5. Let b be p(-7). Let n = b + -337/4. Is l at least n?
False
Let v be 114/(-55) - 57/(-95)*8/6. Which is smaller: v or 14/9?
v
Let y = -3530319/116 + 30434. Is y smaller than 1?
True
Suppose 20*v + 22*v = -27*v - 8004. Let h(j) = -12*j + 3. Let w be h(10). Which is bigger: w or v?
v
Let n = 1045.1 + -1050.1. Which is greater: 305 or n?
305
Let o = 3369 + -3342. Is o < -29?
False
Let t be (1/(-3))/(9/(-108)). Suppose -124*m + t = -120*m. Is m at most as big as 2?
True
Suppose 0 = 4*o + 7 - 3. Let j(a) = 5*a - 41. Let g(l) = -l. Let h(u) = 5*g(u) - j(u). Let y be h(5). Which is greater: y or o?
o
Let f be 2/(12/9*3/(-2)). Let p be 19984/(-10)*15/(-111) - f. Let r = p - 271. Is r at least as big as 2?
False
Suppose 201 = -3*i - 3*k, -3*i + 0*i + 5*k = 241. Let o = 424 + -286. Suppose -2*p = 2*d + o, d = 8*p - 13*p - 353. Which is smaller: p or i?
i
Suppose 25*x - 2*g + 277 = 26*x, 5*g = -5*x + 1425. Which is smaller: 298 or x?
x
Let u = 623131/157 + -3969. Let n = -351 + 354. Suppose -n = -45*r - 3. Which is smaller: r or u?
u
Let o = 1615.28 + -1607. Is -2/7 greater than or equal to o?
False
Let d be (-1052)/(-1315) - (322/190 + -1). Let y = 0 - -5. Let i = y - 2. Does i = d?
False
Let f = -0.0123 - -36.7123. Let h = f - 43.7. Is h < -2?
True
Suppose 2*u + 14 = 4*g - 24, 3*g + 43 = -4*u. Let i = -14 - u. Let m be (10/5)/(60 - 1)*1. Which is smaller: i or m?
i
Let c = 116 - 41. Let o = 84 - c. Suppose 2*b = -b - o. Which is bigger: -2 or b?
-2
Let t = 3624 + -3620. Which is greater: -351 or t?
t
Let f(m) = 2*m**2 + 92*m + 71. Let i be f(-45). Let t be (-70)/(-20)*(-1 + -1). Let u(h) = 2*h - 6. Let x be u(t). Which is greater: i or x?
i
Let l = 579748 - 7541505/13. Suppose -5*n + 4*z = z + 1835, -367 = n - 2*z. Let v = l - n. Which is smaller: -1 or v?
-1
Let v be 1*-4 - 36689/(-8360). Let w = 1/88 + v. Let s = 10 - 10. Is s greater than w?
False
Let s(w) = 37*w + 2