p - 610546 = -215004. Are p and -1487 nonequal?
False
Let z be (-10)/(-30) + (-107)/(-3). Let o be (2/(-50))/((-6)/z). Suppose -25 + 55 = -83*w - 53. Which is bigger: o or w?
o
Let l = -0.209 - -0.009. Let h = -97.166 - -0.166. Do h and l have different values?
True
Let n = -5.0353 + 0.0353. Suppose 2 = k - 2*k. Let v be (-2)/k - 35/42. Is v at least n?
True
Let q be (2/(-6))/(48/9 + -5). Let t be 7761/(-33) - (-2 + q)/(-3). Let c = -236 - t. Which is bigger: c or 2?
2
Suppose 3081*i = 3097*i + 6608. Are i and -2882/7 equal?
False
Suppose d = -5*k + 3*d - 430, 4*k = -6*d - 306. Let m be 1*(0 - 1)*k/10. Which is bigger: -4 or m?
m
Let n be (-11)/22*(-8)/(-84)*7. Which is smaller: 2.287 or n?
n
Suppose 5*m - 509 + 59 = 5*u, -2*u - 175 = 3*m. Let t = 359378 - 359467. Is t greater than u?
False
Let q(p) = -108*p + 2. Let r be q(7). Let k = 753 + r. Which is smaller: k or 34?
k
Let u = -29/5 - -834/205. Is u greater than -2?
True
Suppose 2*f = 8, 3*u + 3*f - 137 = 8*u. Let s = u - -31. Let d be 5/s + 1/(-2). Which is bigger: d or -2/17?
d
Suppose -3*f = -5*m - 155, m + 31 = f - 3*f. Suppose -5855*c + 1575 = -5900*c. Which is smaller: c or m?
c
Suppose 6*p = -3*p + 90. Suppose 4*n - 7*n = 5*j + 38, -2*j + 4*n - p = 0. Let o = 7 + j. Which is bigger: 1/81 or o?
1/81
Let f be 24170/70 - (-2)/(-7). Let r = f + -485. Let h be (r/8)/5 - -1. Which is greater: h or -1?
-1
Let s(g) = -g**3 - 26*g**2 + 24*g - 46. Let r be s(-27). Let q be (-6 - (-147)/r) + (-4)/(-5). Let y = 2/87 + 3/290. Is q less than y?
True
Let f = 135 + -441. Let h = 307 + f. Which is smaller: h or -3/16?
-3/16
Suppose -21*q - 16 = -29*q. Suppose 0 = q*j - 3*j - 2*x + 73, 0 = j - 3*x - 73. Which is greater: 70 or j?
j
Let u = -46.26 + 90.26. Which is smaller: -2/11 or u?
-2/11
Let s = 127 - 53. Let o be -5*(s/(-20) - -4). Is o less than -2?
False
Let m = -1128 - -1130. Let s = -136 - -296. Which is greater: m or s?
s
Let d = -174/55 + 4/11. Let n(f) = -f + 3. Let w be n(-9). Suppose 3*x - 4*u - 9 = u, w = -4*u. Which is smaller: x or d?
d
Let x be (-9236)/(-20862) - ((-250)/180)/25*-8. Is x < -1?
False
Suppose -5*b - 73 = c, -5*c = -9*c + 3*b - 384. Let g = -104 - c. Let z = -12 - 0. Is g >= z?
True
Let k(l) = -l**2 - 14*l + 38. Let w be k(-13). Let m be 474/(-9) + 2/(-6). Let h = m + w. Which is greater: h or -7?
h
Let s = 82994 - 304836965/3673. Which is smaller: s or 1?
s
Let j(n) = n**3 + 4*n**2 - 2*n - 5. Let g be j(-4). Let c = -1962 + 2117. Let d be ((-16)/(-5) - g)*c. Is d at most 30?
False
Let i be 18 - ((0 - 6) + 5). Let b be (i + -17)/(2/(-3)). Let r(w) = w**3 + 2*w**2 - 3*w + 1. Let f be r(b). Which is bigger: 1/123 or f?
f
Let g be (0 - -2) + -10 + 13. Let n(q) = q**3 - 14*q**2 + 22*q - 2. Let c be n(g). Do c and -117 have the same value?
True
Let g(m) = 49*m + 6329. Let i be g(-177). Which is bigger: -4687/2 or i?
-4687/2
Suppose 0 = 438*p - 442*p - 488. Which is smaller: -362/3 or p?
p
Let f be ((-1)/(-1) - 0)/(7/105). Let z = f - -426. Let w be (2/(-2) - 0)/((-49)/z). Which is bigger: 10 or w?
10
Let w = -12478 + 12491. Which is greater: -10/7 or w?
w
Let y = -292 + 443. Let a = y - 140. Which is smaller: 9 or a?
9
Let l(g) = 122*g - 6530. Let o be l(66). Is o equal to 1521?
False
Let a = 2834/3 + -964. Let b = 929/48 + a. Do b and 0 have different values?
True
Let q be 2/(-5) + 424/10. Let m be (-18)/15 + 2 - 15192/(-360). Is m less than or equal to q?
False
Let s(v) = v**2 + 10*v - 235. Let q be s(13). Is 568/9 at most q?
True
Let s(p) = -p**3 + 34*p**2 + 126*p - 969. Let w be s(28). Is w less than or equal to 7263?
True
Let h(g) = -g**3 - 13*g**2 + 14*g + 34. Let n be h(-14). Let m = -31 + n. Suppose -m - 13 = 2*p. Which is greater: p or -11?
p
Let a = -434 - -289. Let x = 3.789 + -5.789. Is x less than a?
False
Let f = -1890 - -15171/8. Suppose 2*i + 4*i = 36. Which is bigger: i or f?
f
Let v(k) = 7*k + 4. Let r be v(7). Suppose -4 = 4*g, 0 = 4*u + 3*g - 208 - 345. Suppose u = 4*m - 73. Is r greater than or equal to m?
True
Let h be (88 - 1)/((-6)/4). Let g = -537639/7 - -76749. Which is smaller: h or g?
h
Let v(l) = 4*l + l - 7 + 123*l**3 - 4*l - 4*l - l**2 - 4*l. Let x be v(-1). Which is greater: -126 or x?
x
Let q be 6/(-15) - (-12)/(-20). Let o = -3/2 - q. Suppose 30*s + 8 = 26*s. Which is smaller: s or o?
s
Let w(q) = 403*q**3 + q**2 + q + 1. Let i be w(-1). Let x = -6437/16 - i. Let h(t) = -t + 10. Let m be h(10). Are x and m equal?
False
Suppose 0 = 10*g - 76 - 34. Suppose -5 = -g*x + 12*x. Let q be x/(-2)*(-14)/35. Which is greater: q or -2/25?
-2/25
Let o = -29782 + 48018. Do o and 18238 have the same value?
False
Let h(s) = -2*s**2 + 27*s + 32. Let u be h(12). Let t = u - 67. Which is bigger: -1/57 or t?
t
Suppose -13*b + 9*b = 28. Let o(t) = t**3 + 7*t**2 + 6*t - 10. Let z be o(b). Let l be -4*2/z + 118/(-260). Which is smaller: l or -1?
-1
Let b = -9.7 + 11. Let r = b + -0.3. Let c = -66733/300312 + -1/100104. Which is bigger: r or c?
r
Suppose 0 = -16*r + 13*r + 84. Suppose 2*g + 2*z - 14 = 0, -g + 20 = -4*z + r. Which is greater: g or 90/29?
g
Let z = -365.94 - -321.7. Which is greater: -1 or z?
-1
Let a be -1*(-152)/126 + 72/126. Which is smaller: a or -44?
-44
Suppose 12*a - 1008 = -30*a. Suppose 16 - a = 8*m. Which is smaller: m or 6/223?
m
Let q = -130 + 87. Let p(r) = -45*r - 7. Let c be p(-1). Suppose -59*o + c*o - 903 = 0. Is q at least as big as o?
True
Let k be -9 + (15 - 3) - (-2 - (-86649)/12). Are -7217 and k unequal?
True
Suppose -r - 4*r = 25, 0 = 3*p + 5*r - 17. Let m be 1/(-2)*(-16)/p. Suppose -2 = -2*u, -3*j - 4 - 5 = -3*u. Which is bigger: m or j?
m
Let z(a) = 41*a + 23. Let t be z(8). Let v be (-3)/(-15) - (-5)/((-9525)/t). Suppose -3*q = -18*q. Which is bigger: v or q?
v
Let u = -581 - -581. Let k = 880767 - 1237477364/1405. Let z = -2/281 - k. Which is smaller: z or u?
z
Let d = -32273/6 - -78649325/14622. Is 0 less than d?
True
Let z = 12349 + -12350. Do 95/36 and z have the same value?
False
Let u = 8784299/40634 + -2378/11. Which is bigger: 0 or u?
0
Let j = -1773 + 1757.33. Let f = j + -0.33. Let w = -17089 + 17089. Is w at most as big as f?
False
Let k = -0.2 + -1. Let c = 11078 - 11074. Which is greater: k or c?
c
Let w(c) = c**2 + 9*c + 6. Let l be w(-7). Let o(h) = -9*h**2 - h + 2. Let f(t) = -t**3 - 12*t**2 - 11*t + 1. Let b be f(-11). Let u be o(b). Is u at least l?
True
Suppose 0 = -4*q + 141 + 51. Let n = q - 51. Let v be ((-12)/10)/(28/70). Is v equal to n?
True
Let z = -129 + 134. Suppose -10 = 6*i - i, z*b + i = 468. Do 92 and b have different values?
True
Suppose -5*t = 5, 5*g + 2*t = -2 - 5. Let r be 2 - g - (-1)/12*-27. Which is smaller: -2 or r?
-2
Suppose 16 = -5*n + 4*i + 43, -24 = -4*n + 4*i. Let u(v) = 2*v**2 - 4*v - 6. Let h be u(n). Suppose h = 5*y + 3*y + 8. Which is greater: y or 4?
4
Let v(f) = f**2 - 20*f + 99. Let i be v(12). Let b be ((0 - 1)*10)/i + 4. Which is smaller: b or -0.3?
-0.3
Let z be ((-6)/(-3))/(-6 + 8). Suppose -3 = -2*k + z. Suppose -12 = a + 5*t, 2*t - 60 = k*a + 3*a. Is a bigger than 0?
False
Let p = -128 - -121.4. Let z = -6.724 - p. Let i = z - -54.124. Is i < 1?
False
Let b(o) = -o**3 + 23*o**2 - 51*o + 123. Let i be b(21). Which is smaller: i or 6?
i
Let y be (-3)/4 + (-44)/(-16) + 4. Suppose -y*s + 4*s - 70 = 2*n, 2 = 2*n. Which is smaller: -38 or s?
-38
Let y = -12807/5 + 5801521/2265. Which is smaller: y or -1?
-1
Let g = -1443.134 + 1443. Which is greater: g or -1/4?
g
Let j = -16551 - -16556. Is 2753 smaller than j?
False
Suppose 4 = -14*f + 10*f. Let j = f + 4. Suppose j*s + 3*q = -3, -4*q - 5 = -2*s + q. Is s less than or equal to -5/11?
False
Suppose -2*a - 88 = -y, -3*y = 313*a - 309*a - 304. Which is bigger: 874/9 or y?
874/9
Let a = 493 - 1478/3. Let l = 34 + -33.2. Is l at least as big as a?
True
Suppose 0 = -30*x - 1212 - 198. Suppose 5*w + l - 233 = -0*l, 5*w + 5*l - 245 = 0. Let a = x + w. Is -2/31 equal to a?
False
Let f = 2409/2 - 1205. Is f at most as big as 139.8?
True
Let l(v) = 2*v**3 - 8*v**2 + 4*v - 9. Let o be l(4). Suppose 0 = -o*m + 2*m + a + 28, -5*a - 15 = 0. Which is bigger: m or 50/11?
m
Let h = -3669 - -51313/14. Is h < -4?
False
Let x(l) = -l**3 - 18*l**2 - 10*l + 59. Let n be x(-17). Let c = n - -239/4. Suppose 0 = 2*t + t. Which is greater: t 