 at most as big as -3/5?
False
Let n be (4/4 - 2) + (6 - 3). Suppose -5*p + 4*p = -h - 12, -3*p + 5*h + 44 = 0. Suppose i - 9 = -2*a, n*a - p = -2*i + 2. Which is bigger: 3/19 or i?
i
Let m = 23 - 22.01. Let r = m - 1.01. Which is bigger: r or -7?
r
Let f = -3083 + 3083. Which is smaller: -2/35417 or f?
-2/35417
Suppose -5*j + 4*i - 1075 = 1460, -j + 4*i - 523 = 0. Which is bigger: -2511/5 or j?
-2511/5
Suppose 18 = 2*d + l - 21, -4*d + l = -81. Suppose -21*r = -r - d. Which is smaller: 1/660 or r?
1/660
Let g = -184.7 - -134.686. Let k = 0.014 + g. Let c = k - -49.4. Which is smaller: c or 1/7?
c
Let n = 7018 - 1581. Is n < 5439?
True
Let o = 0.17 + -1284.17. Let q = o + 1342.7. Let i = 66 - q. Is -1/4 at least as big as i?
False
Let j = -0.05 - -0.022. Let a = -0.952 + -0.02. Let z = a + j. Is 2 at most as big as z?
False
Suppose -2*o = -3*i + 41, -o - 10 = -3*i + 27. Let r = -6987 + 6989. Is r < i?
True
Suppose -84 = -n - 2*l - l, -4*n + 421 = -5*l. Is 106 less than or equal to n?
False
Let i = -33684 + 1718014/51. Which is smaller: 2 or i?
2
Let a = 228 + -220. Let f be (2/a)/((-41)/82). Which is smaller: -0.0527 or f?
f
Let f(x) = -4*x - 8. Let t be f(-6). Suppose -134 = -7*a - 1. Suppose -a*u - 68 = -23*u. Is t >= u?
False
Let s be 0 + 0 - 0/(-1). Let i = 8/9883 + 9523/444735. Is i <= s?
False
Let m = 1191 - 1190.8282. Let z = 0.0282 + m. Is z less than or equal to -62?
False
Let f = 1.24 + -1. Suppose -16*w + 115 = -141. Let q be (-4)/3*(-4)/w. Which is greater: q or f?
q
Suppose 3*k + 20 = -0*k + 5*q, 6 = -2*k - 4*q. Is 403 <= k?
False
Let z(f) = 2*f - 14. Let o be z(11). Let v be 1/(-4) + 34/o. Let d be 105/(-99) + v/12. Which is smaller: -1 or d?
-1
Let a(l) = -46 + 0*l + 20 - l + 19. Let b = -2 - 4. Let u be a(b). Which is smaller: 6/43 or u?
u
Let g(w) = 43*w + 1432. Let f be g(100). Is f equal to 5730?
False
Suppose 0 = -4*b + 3*p + 110 - 3, 3*p = -3. Suppose 5*f + b + 6 = z, -2*f + 28 = 3*z. Suppose 6*s + 4*k - z = 2*s, 3*k = 2*s + 9. Is s at least as big as 5?
False
Let w be ((-2)/1)/(5/(-430)). Let m be w/24 + (-6)/4. Let q(f) = 2*f**3 - 3*f**2 - f + 4. Let r be q(2). Is m bigger than r?
False
Let w(p) = p**2 + 7*p - 18. Let k be w(-9). Suppose 0 = -i - k*i + 62. Let q be -3 - 33/(-9) - i/39. Is q not equal to -1?
True
Let s be (-24)/80 + (-159995)/64350. Is -3 greater than or equal to s?
False
Let o be 2 + 0 + 8 + -1. Let u be (-44)/260*6*(675/(-25) + 17). Is o greater than or equal to u?
False
Suppose -8 = w - 38. Suppose 287 - 1792 = -301*g. Suppose -w = g*b + 10. Which is bigger: b or -2?
-2
Let g = 2080 + -2088.69. Let c = 8.8 + g. Which is bigger: c or 0?
c
Let c = -52603 - -421349/8. Is c < 65?
False
Suppose -u + 108 + 227 = 0. Suppose 2*r + 2*l + 1092 = -3*r, -2*r - 431 = -5*l. Let p = r + u. Is 116 less than p?
True
Suppose i + 22 = 25. Suppose i*h + 0*q = 5*q - 5, 0 = 3*h + 5*q - 35. Is h < 4?
False
Let b be 635/381 + 1139/(-6). Which is smaller: -188 or b?
b
Let u = 0.282 + -27.082. Let l = u - -22.8. Is -6 > l?
False
Let r be (-14724)/25080 - (-4)/22. Let y = -3/10 - r. Let u be 16/(-6)*(-15)/(-10) + 3. Is u at most y?
True
Let j = -11.68 - -6.03. Let n = j + 5.75. Which is greater: n or 4/23?
4/23
Let h = -160 - -160. Let v be h + -1 + -4 - (33 - 35). Which is smaller: -34/11 or v?
-34/11
Let h be 751 + (-18)/(-3) - -13. Which is smaller: h or 774?
h
Let f(v) = 2*v**3 - 8*v - 14*v**2 + 41 - 35 + 7*v. Let k be f(7). Which is bigger: k or 25?
25
Let h(g) = 64*g**3 + 2*g**2 - 3*g + 1. Let a be h(1). Suppose 7*k + 455 = 14*k. Does a = k?
False
Let n(o) = -3*o - 3. Let s be n(3). Let z(w) = 28*w - 162. Let h be z(10). Suppose -h*d + 50 = -123*d. Is s < d?
True
Suppose 2*u + 2*d - 39 = 233, 648 = 5*u - 3*d. Which is bigger: u or 78?
u
Suppose -56 = 11*l - 5*a, 3*l + 25*a - 6 = 24*a. Which is smaller: 31/380 or l?
l
Let p = 1709/3 + -2425/6. Let f = p + -4309/26. Which is smaller: -0.5 or f?
-0.5
Let k(c) = -132*c + 10826. Let p be k(82). Suppose -1 = -4*w + 7. Let b be -6*w/(-20) + 2. Which is smaller: p or b?
p
Let d = -48 + 51.3. Let b = d + -1.3. Let x = -16 - -30. Which is smaller: b or x?
b
Let c be (-3)/(3*(-10)/30). Let f(b) = -2*b**3 + 11*b**2 + b - 9. Let z(t) = -t**3 + 6*t**2 - 4. Let x(q) = -3*f(q) + 5*z(q). Let r be x(c). Is -7/9 at most r?
False
Suppose -31*r = 57*r + 2992. Is 1 greater than r?
True
Suppose -2*l - 22 = 4*w, -16*w = -12*w + 8. Let p be (75/21 - 2)*l/(-10). Are p and -1 non-equal?
True
Let h be (-2 - 2) + -2 - 360/(-72). Let z = -38 - 2. Let c be 3/15 + 38/z. Which is smaller: h or c?
h
Suppose 3*i - 2*i = 38. Let o(m) = -m**3 + 12*m**2 + m - 10. Let p be o(12). Suppose -42 = -5*u - 17, 83 = p*z + u. Do z and i have different values?
True
Let s(l) = -172*l - 193. Let d be s(-1). Which is smaller: -59/3 or d?
d
Suppose -2*r = f + 2*r - 794, 4*f = r + 3108. Suppose -6*h = 58 - f. Is h > 119?
True
Let m = 29 + -75. Let v = -2/4461 - 1039403/22305. Is v <= m?
True
Let j be (0 + 6)/(6/15). Let z be (1/3)/(20/j). Which is bigger: z or -2/3?
z
Suppose 2*y + 107 - 9 = 0. Let m = -44 - y. Suppose 4*f - 10 = f + 4*o, 5*o = -m. Is 6/7 greater than f?
False
Let p be (-2705)/(-22) + (-3)/(-3). Suppose 3*x - 5*f + 352 = 0, -x + f - 244 = x. Let a = p + x. Is 1 at most a?
False
Let s = 16610/9 - 1848. Suppose 5*c + 11 + 8 = p, -4*p + 2*c + 4 = 0. Does p = s?
False
Let q be (-2 + (1 - 0))/((-3)/195). Suppose -5*g + q = 5*y, 9 + 9 = 3*g - 4*y. Suppose 0 = -2*i - 2*i + 32. Which is bigger: i or g?
g
Suppose -c + 3 = 1. Suppose c*x = x + 28. Let y be 4 - (-1 - (-60)/x). Which is bigger: 3 or y?
3
Let s = -0.0064 - 0.1936. Let i = -3 + 4. Let r be i/(-5) - (-56)/(-245). Is r at most as big as s?
True
Let k(i) = 14*i - 9. Let f be k(1). Let q be (20448/(-440))/9 + f. Is 0 greater than q?
True
Let t = 43 + -39. Let u be (-450)/27 - t/6. Let c = u + 17. Which is smaller: c or 36?
c
Suppose 4*h - 42 = -10. Suppose -p = -j - 9 + 8, -3*j - 3 = 2*p. Suppose 10*r + 115 - 175 = p. Are h and r non-equal?
True
Let f = 2.14 + -0.44. Let b = 1.8 - f. Let t = -5 + 1. Are b and t unequal?
True
Let s = -6356 + 6209. Is s at most as big as -123?
True
Let t(s) = s**3 - 26*s**2 - 44*s + 43. Let x be t(28). Let a = 10607/28 - x. Which is greater: a or 0?
0
Suppose g + 13174 - 13183 = 5*x, 4*x = 3*g - 16. Which is greater: 54/199 or x?
54/199
Suppose -h - h = -y - 7, 4*y - 3*h + 8 = 0. Let g be -212 - 2/y*-1. Let n be ((-2)/7)/(-1) - (-200)/g. Is 1/37 bigger than n?
True
Let j(d) = -d**3 + 9*d**2 - 15*d + 8. Let t be j(7). Let u = 840 + -55441/66. Do t and u have different values?
True
Let w be 5*(-3 - (-22)/5). Suppose 5*j = -5*g + 15, -5*g = -5*j - w*g + 3. Let i = -7037/118950 - 2/2379. Is i >= j?
True
Suppose -2 + 10 = 2*k. Let t be (-14)/k*2 + 1. Suppose -4*p + 3*a - 22 = 0, 2*p + 5*a + 9 = 37. Is t < p?
True
Let h be (99 + 25/(-5))/2. Let k be (1/3*-10)/((-34)/51). Is h at most as big as k?
False
Let c be ((-113)/(-764))/((-154)/28) - 52/572. Which is greater: 1 or c?
1
Let k be (-556)/6*(-339)/(-226). Is k greater than or equal to -555/4?
False
Let n be (-74)/(-56) - 531/708. Which is greater: -195 or n?
n
Let c = 15362 - 8794. Which is smaller: c or 0?
0
Let i = -25 + 60. Let a = i - 41. Let n be 61 + (a/(-9))/(2/(-6)). Is n != 57?
True
Let g = 35/68 + -1/68. Is 1989 != g?
True
Let f = -1992850643/516 + 3862115. Let t = 33/43 - f. Which is smaller: t or -1?
-1
Let y = 59.19 - 59.29. Suppose -2*z = -4*t - 58, 8*t = -4*z + 3*t + 90. Let g be ((-5)/z)/(48/(-10)). Which is smaller: g or y?
y
Suppose -8 = -2*i + g, i + 5*g + 321 - 292 = 0. Which is smaller: i or 3/11678?
3/11678
Let q be (-31)/62 - (-2)/(-4) - (-4900)/5299. Which is smaller: -1 or q?
-1
Let k = -41.05 - -39. Let w = -576 + 576.05. Let o = k + w. Which is smaller: o or 0.16?
o
Suppose 5*d - 2*c - 298 = 1202, c = d - 300. Let p be (5098/(-17))/(-10 - (-20 + 11)). Let o = d - p. Which is bigger: -1 or o?
o
Let x(f) = -f**3 + 6*f**2 - 2*f - 8. Let d be x(6). Let r be (2/(-10)*-4)/(138/7590). Let b = r + d. Is b greater than or equal to 23?
True
Let c(u) = -u**2 - 12*u - 37. Let n be c(15). Let x = n - -435. Is x at least as big as -70/11?
False
Let n = -1.483 + 0.783. Let g = 319 + -316. Which is smaller: g or n?
n
Let r(t) be the third derivative of -t**5/60 + 2