7/15. Is x at most as big as -0.16?
False
Let s = -13.234 + 13.034. Are s and -928/9 equal?
False
Let i = 59 + -52. Suppose i*a = -a - 40. Do 2 and a have the same value?
False
Suppose 0 = 42*r - 15878 - 3442. Does r = 459?
False
Suppose -108*v - 867 = 110*v - 215*v. Is v != 0.1?
True
Let b = 488 - 309. Suppose -7*k - 172 = -b. Which is greater: -4/395 or k?
k
Let d be 247/(-342) + 1/18. Let i = -6 - -5.93. Let g = i - -10.07. Is g at least d?
True
Let q = 28 - 26. Let w be 4/q*63/322. Are 0 and w equal?
False
Let g = 223548/1935313745 + -2/90355. Which is smaller: g or -0.1?
-0.1
Suppose 2 = a, 3*a = v + a + 2. Suppose -k - j = -5, -2*j + j = v*k - 9. Let o be k + (-5)/((-140)/(-104)). Is o bigger than 5.5?
False
Let h(f) = -f + 8. Let p be h(5). Let v be (208/6)/(2/p). Suppose 519*w - 522*w = -162. Which is smaller: v or w?
v
Suppose -53*o + 64*o = 44. Suppose -2*u - j = -o*u + 127, 0 = -5*j - 25. Is 60 > u?
False
Let h = 269 + -267.498. Which is bigger: h or -2?
h
Let m(j) = -j**2 + 11*j - 4. Let q be m(9). Let z = -23 - -18. Let s(t) = -3*t - 1. Let f be s(z). Is f less than q?
False
Let a be 5/((86/28 - 2)/(22446/903)). Is a > 229?
False
Let z = 589947 - 1752745/3. Let j = z - 5768. Is -69 <= j?
False
Suppose -420 - 490 = -7*f. Let n = f + 48. Let t be (12/(-30))/(-3 + n/60). Is t not equal to 12?
False
Let w = -7.8 - -47.8. Let g be (-1074)/225 - -4 - (-6)/15. Let r = g - -1/25. Which is smaller: r or w?
r
Suppose -2*t + t = -5*q - 1, -2*q = -t + 1. Suppose -5*n - 83 = 42. Let m = n + 25. Does t = m?
False
Suppose -5*g + 47 - 8 = 3*a, -g = 4*a - 35. Let r = 13 + a. Let z be (18/r)/(-3) - 209/(-21). Does z = 10?
False
Suppose 0 = -0*i - 3*i + 135. Let j be (-5 + 0)*9/180*8. Let d be (24/(-180)*6)/(j/110). Which is smaller: d or i?
d
Suppose -2*a - 986 = 3*p, 6*a - 2*a = -3*p - 1978. Let l = a - -379. Which is bigger: -116 or l?
-116
Let o = 31 + -37. Let r(u) = -9*u - 68. Let j(m) = 3*m + 23. Let w(t) = -11*j(t) - 4*r(t). Let q be w(o). Are -0.1 and q equal?
False
Let c = -582.03998 + 0.03998. Which is smaller: c or -0.1?
c
Let r = -151593/25 - -6064. Is -1 greater than r?
False
Suppose 5*v + z - 5*z + 327 = 0, -5*z + 325 = -5*v. Suppose -3*x = 4*u + 182, -111*x + 108*x - 5*u - 178 = 0. Which is greater: x or v?
x
Let f be ((-24)/(-10))/((-58)/(-145)). Suppose -f*y - 50 = -56. Let m = 4 + -2. Which is bigger: y or m?
m
Let c be 216/756*14/4. Let o(i) = i**3 + 15*i**2 + 14*i + 14. Let z be o(-14). Which is smaller: z or c?
c
Let d = -387 + 286. Let f = 100.9 + d. Is f >= -0.014?
False
Let g(l) = -l**2 - 18*l - 29. Let j be g(-13). Let b = j + -28. Suppose -p - b = 5. Is -13 less than or equal to p?
True
Suppose 3*v + 2*t - 240 = 215, 625 = 4*v - t. Suppose 178*u - 154*u - 3744 = 0. Which is smaller: u or v?
v
Let u = 45 + -30. Suppose 0 = z - 18 + u. Let p be (4*15/40)/z. Is -18 at least as big as p?
False
Let w = 75 + -75. Let c(i) = i**3 + 10*i**2 + 9*i + 4. Let n be c(-9). Suppose -2*h = -n, 2 = -s + 3*s - 3*h. Is w < s?
True
Let q = 1182 - 1215. Let x = 102 - 715/7. Which is smaller: q or x?
q
Let c be (10/(-60))/((-6)/(-24))*3156/(-20). Which is bigger: -5 or c?
c
Let p(h) be the first derivative of -8*h**3 - 8*h**2 - 10*h + 165. Let b be p(4). Is b bigger than -457?
False
Suppose 10 = -2*i + 36. Let x be (9 + -13 - 11/(-1)) + 9. Is i equal to x?
False
Let i = -3871 + 3933. Is i at most 64?
True
Let y(r) = 528*r + 8908. Let a be y(-18). Which is smaller: -11340/19 or a?
-11340/19
Let w = -62.6 - -62.4. Let s = 3.61 + 0.39. Which is bigger: s or w?
s
Let n = 2/13 + 5/52. Let j = -16.18 + 0.18. Is n > j?
True
Suppose 5*u + 168 = 13*j - 14*j, 5*u + 172 = j. Let k be (-2 + 3)*u/12988. Is k at least 0?
False
Suppose -47*m = 13*m - 60. Is -146.6 at most m?
True
Let x(c) = -26*c - 2. Let o be x(-1). Let b be (3/o)/(7/(-28)). Which is bigger: 1/66 or b?
1/66
Let t = -0.022 - 314.978. Let c = t + 315. Which is smaller: 283 or c?
c
Let u be (3/(-2))/(-3 + 230594/52). Which is smaller: 0 or u?
u
Let f = -144 - -47. Let b = 111 + f. Is b greater than or equal to 57/4?
False
Suppose -5*d = w - 3500, -5*d + 3470 = -4*w - w. Is d > 2799/4?
False
Let c be 0 + 2 + 8/(-6). Suppose 40*o = 160*o - 82*o - 3154. Which is bigger: c or o?
o
Let h be (-14)/112 + 0/(-3) + 11102/(-16). Which is smaller: -692 or h?
h
Let y = -1897 + 1835. Is y less than -63?
False
Suppose 2*v + 16 = 3*h, -9 = 2*h + 5*v + 12. Suppose -h*g - 2*w - 10 - 10 = 0, -3*g = 5*w + 32. Which is bigger: -92/11 or g?
-92/11
Let d = -593.9 + 594. Is 555 at most d?
False
Let k be (-10)/65 - 212/(-52)*2. Suppose 0 = 4*w + j + 20 - k, 2*w = j - 6. Is w > -2?
False
Let z = 631.798 - 634. Let o = z - 9.768. Let r = 12 + o. Which is greater: r or 0.2?
0.2
Let l = 0.2 + -2.2. Let j = -1 - l. Let v = 0.2922 - 0.3922. Which is bigger: j or v?
j
Let x be 2 - (-9)/((-27)/6). Suppose -5*u + 10*u + 40 = x. Are -9 and u equal?
False
Let r = -4/1293 - 7706/16809. Are 116 and r equal?
False
Let d = -83.78 + 83.8728. Is d != -3?
True
Let y be (9/(-5))/(11/55). Let w = y - -11. Suppose -3*s - 48 = 3*p - 4*s, -2*p - w*s - 32 = 0. Is -18 bigger than p?
False
Suppose 2052 = -3*y - 15*y. Let f be -1 - 3 - -3 - 122 - -6. Are y and f equal?
False
Let s = -12156 + 11770. Is s at least -371?
False
Let a = 200 + -239. Let w = -45 - a. Do w and -31/6 have the same value?
False
Let m = 19 + -57. Suppose -3116*z = -13230 - 13818 - 7228. Which is bigger: z or m?
z
Let n(u) = -52*u + 600. Let f be n(5). Is 334 >= f?
False
Let v be 15/30 - (20/16)/5. Let u = 329590/163 + -2022. Let r = -87/3097 - u. Which is greater: v or r?
v
Suppose -46*z = -62*z + 80. Let n be (-1 + 1)/(z + (0 - 4)). Let d = 65/4 + -301/20. Which is smaller: d or n?
n
Let p = -18869 + 56608/3. Let f = 10 - 601/60. Which is bigger: p or f?
p
Let n = 511.3 - 511. Let u = -2.33 + -12.97. Let w = u + n. Are -0.2 and w equal?
False
Suppose 0 = -25*k - 5977 + 252. Is k at least -229?
True
Let n = -9084 + 8412. Is n < -3/2?
True
Suppose -66*p + 304*p - 181427 + 905899 = 0. Is p >= -3043?
False
Let i(l) = l**3 - 12*l**2 + 24*l - 34. Let t be i(10). Suppose -t*a = 3*a - 18. Is 21 > a?
True
Let m be ((8 - 8) + (-7)/(-1))*-1. Are -318/43 and m nonequal?
True
Let v be 4/5 + (2541/(-70) - 6/(-4)). Which is smaller: -275/8 or v?
-275/8
Let y be -30 - (5 + (10 - -4 - 1)). Suppose 2*l - m + 74 + 23 = 0, -2*m = -2. Is y at most l?
True
Let f = -54 - -135. Suppose 6*w - 78 = -630. Let j = f + w. Are j and -51/5 unequal?
True
Let k = 439.641 + -0.641. Let w = 441 - k. Is w <= 0.1?
False
Let n = 179 - 186. Let d be (n - -10) + (-51)/(-15)*-1. Are -0.003 and d unequal?
True
Let r(y) = -3*y**2 + 17. Let z be 72/(-81)*(28/(-8) - 1). Let m be r(z). Which is greater: m or 6?
6
Let v(t) = t**2 - 33*t + 159. Let x be v(27). Suppose -2*o + 0*l = -2*l + 72, l = 4*o + 156. Let w be (o/6)/(2 - 0). Which is bigger: x or w?
x
Let n = -2.8 - -3.31. Let w = -0.5 + n. Let m = 0.01 - w. Which is bigger: 16 or m?
16
Suppose -36*t - 1663 + 403 = 0. Is t at least -46?
True
Let b(f) = -f**3 - 5*f**2 + 24*f + 186. Let j be b(-6). Which is smaller: j or 83?
j
Let r(b) = -61*b - 5. Let d be r(3). Let h = -192 - d. Is h greater than or equal to -1?
False
Let v be 16/20*((-2500)/8)/(-5). Do v and 358/7 have the same value?
False
Let y = 195/19354 - 308564137/329018. Let q = y + 937. Which is bigger: q or 0?
0
Let r be (-6)/9 - 102/(-18). Let z be 16/(-10)*r/2. Suppose v + 3*b + 13 = 0, b + 4*b + 3 = 3*v. Do v and z have the same value?
True
Let j = -784.2 - -424. Is 1 smaller than j?
False
Let s = 47 - 112. Let x be (s/(-135)*33)/((-1)/(-3)). Let a = -48 + x. Do a and 10 have different values?
True
Let h be (22/3)/(2/9). Let z be 4/1065*h/88. Let g = 4241/13490 + z. Which is greater: 0 or g?
g
Let k = 189 + -184. Suppose -w + 3*p + 12 - 4 = 0, -w = p. Suppose 3*u = 7*u - 4, -w*y - 3*u = -k. Which is bigger: 5/7 or y?
y
Let a be 14/(-70) + (-192)/(-10) - 1. Let m be ((-4)/(-12))/(93/a). Is 0 smaller than m?
True
Let z = -5.01 + 270.01. Let p = z + -265.2. Is 23/4 equal to p?
False
Let w be (510/(-408))/(((42/4)/7)/258). Are -196 and w non-equal?
True
Suppose 98 - 87 = -3*v - 4*s, -v - 5*s = 11. Which is smaller: v or 2/49871?
v
Suppose 0 = -5*x - 37 - 43. Let c = 31/2 + x. Let b(f) = 2*f**2 - 90*